Search
Search Results
-
Sequential composition of propositional logic programs
This paper introduces and studies the sequential composition and decomposition of propositional logic programs. We show that acyclic programs can be...
-
Propositional Logic
The subject of this chapter are propositional formulas (also called Boolean expressions). In the following, we will sketch the theory of...
-
General Clauses for SAT-Based Proof Search in Intuitionistic Propositional Logic
In recent years some papers have addressed the problem of the validity in Intuitionistic Propositional Logic (IPL) using the approach proposed by...
-
R-Calculus, IV: Propositional Logic
This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the...
-
Propositional and Predicate Logic
This chapter provides an introduction to propositional and predicate logic. Propositonal logicPropositonal logic may be used to encode simple...
-
EvoLogic: Toward an ITS for Teaching Propositional Logic
This work presents the intelligent tutoring system, EvoLogic, developed to assist students in problems of natural production in propositional logic....
-
Formalizing the Independence of Propositional Logic Axiom System in Coq
The development of computer science has promoted the formalization of mathematical theorem proofs, making it especially crucial to use machine...
-
Formalizing the Equivalence of Formal Systems in Propositional Logic in Coq
In the field of artificial intelligence, propositional logic provides a precise and efficient reasoning structure for computers to simulate human...
-
Formalizing Henkin-Style Completeness of an Axiomatic System for Propositional Logic
I formalize a Henkin-style completeness proof for an axiomatic system for propositional logic in the proof assistant Isabelle/HOL. The formalization...
-
Brief Introduction to Propositional Logic and Predicate Calculus
Many recent neuro symbolic approaches rely on an underlying logical language. In this chapter, we provide a brief introduction to the basic concepts...
-
On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions
This paper considers whether the sequential application of a combination of a merging operator and a ranking construction operator predicts human...
-
Monotonicity and nonmonotonicity in L3-valued propositional logic
A sequent is a pair (Γ, Δ), which is true under an assignment if either some formula in Γ is false, or some formula in Δ is true. In L 3 -valued...
-
Coalgebraic fuzzy geometric logic
A generalized form of modal logic can be created within the context of coalgebraic logic. Coalgebraic geometric logic was recently developed by...
-
On Verified Automated Reasoning in Propositional Logic
As the complexity of software systems is ever increasing, so is the need for practical tools for formal verification. Among these are automatic...
-
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Dependence Logic was introduced by Jouko Väänänen in 2007. We study a propositional variant of this logic (PDL) and investigate a variety of...
-
R-Calculus for Simplified Propositional Logics
Assume that the logical language of propositional logic contains three logical symbols:...
-
R-Calculi for \(\rightsquigarrow \) -Propositional Logic
By taking \(\lnot \) as a logical connective, in traditional Getzen...
-
Weighted Propositional Configuration Logic over De Morgan Algebras
We introduce and investigate a weighted propositional configuration logic over De Morgan algebras. Our logic is intended to serve as a specification...
-
A Proof-Theoretic Analysis of the Meaning of a Formula in a Combination of Intuitionistic and Classical Propositional Logic
This paper provides a proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic,...