Results 21 to 30 of about 44,803 (280)
ON A NEW APPROACH TO PEIRCE’S THREE-VALUE PROPOSITIONAL LOGIC
Manuscrito, 2023 In 1909, Peirce recorded in a few pages of his logic notebook some experiments with matrices for three-valued propositional logic. These notes are today recognized as one of the first attempts to create non-classical formal systems.
JOSÉ RENATO SALATIEL
doaj +1 more source
The ILLTP Library for Intuitionistic Linear Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited.
Carlos Olarte +3 more
doaj +1 more source
Complexity Results for Modal Dependence Logic [PDF]
, 2010 Modal dependence logic was introduced recently by V\"a\"an\"anen. It enhances the basic modal language by an operator =(). For propositional variables p_1,...,p_n, =(p_1,...,p_(n-1);p_n) intuitively states that the value of p_n is determined by those of ...
F.M. Donini +8 more
core +3 more sources
A Sequent Systems without Improper Derivations
Bulletin of the Section of Logic, 2022 In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper, and others proper. Improper inference rules are
Katsumi Sasaki
doaj +1 more source
Axiomatizations for propositional and modal team logic [PDF]
, 2016 A framework is developed that extends Hilbert-style proof systems for propositional and modal logics to comprehend their team-based counterparts. The method is applied to classical propositional logic and the modal logic K.
Lück, Martin
core +5 more sources
Matrix- based logic for avoiding paradoxes and its paraconsistent alternative
Manuscrito, 2011 The present article shows that there are consistent and decidable many- valued systems of propositional logic which satisfy two or all the three criteria for non- trivial inconsistent theories by da Costa (1974).
Paul Weingartner
doaj +1 more source
Teaching Intuitionistic and Classical Propositional Logic Using Isabelle [PDF]
Electronic Proceedings in Theoretical Computer Science, 2022 In Proceedings ThEdu'21, arXiv:2202 ...
Villadsen, Jørgen +2 more
openaire +3 more sources
Propositional inquisitive logic: a survey [PDF]
Computer Science Journal of Moldova, 2016 This paper provides a concise survey of a body of recent work on propositional inquisitive logic. We review the conceptual foundations of inquisitive semantics, introduce the propositional system, discuss its relations with classical, intuitionistic, and
Ivano Ciardelli
doaj
On the Concept of a Notational Variant [PDF]
, 2017 In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic.
C Caleiro +14 more
core +1 more source
An Axiomatic Account of Question Evocation: The Propositional Case
Axioms, 2016 An axiomatic system for question evocation in Classical Propositional Logic is proposed. Soundness and completeness of the system are proven.
Andrzej Wiśniewski
doaj +1 more source