Results 1 to 10 of about 1,634 (162)
Judgement aggregation in non-classical logics
Journal of Applied Non-Classical Logics, 2017 To appear in Journal of Applied Non-Classical ...
Daniele Porello
exaly +7 more sources
Non-Classical Logics in Satisfiability Modulo Theories
Lecture Notes in Computer Science, 2023 AbstractWe show that tableau methods for satisfiability in non-classical logics can be supported naturally in SMT solving via the framework of user-propagators. By way of demonstration, we implement the description logic $$\mathcal {ALC}$$ in the Z3 SMT solver and show that working with user-propagators allows us to significantly outperform encodings ...
Michael Rawson +2 more
exaly +3 more sources
On lengths of proofs in non-classical logics
Annals of Pure and Applied Logic, 2009 In a pair of recent papers [J. Symb. Log. 72, No. 3, 941--958 (2007; Zbl 1125.03043)], [Ann. Pure Appl. Logic 146, No.~1, 72--90 (2007; Zbl 1115.03081)], the author proved a version of the feasible monotone interpolation property for some propositional proof systems of modal logic and intuitionistic logic, which implies an exponential lower bound for ...
Pavel Hrubes
exaly +4 more sources
The Logic of Khārijī Propositions [PDF]
حکمت سینوی, 2023 There are two general methods for interpreting and analyzing khārijī and ḥaqīqī propositions: first, by analyzing them within a unified logic; second, by assigning separate logics to khārijī and ḥaqīqī propositions.
Asadollah Fallahi
doaj +1 more source
Reasoning about Quantum Information: An Overview of Quantum Dynamic Logic
Applied Sciences, 2022 This paper provides an overview of quantum dynamic logics, showing how they have been designed and illustrating how these logics can be applied to verify the correctness of quantum protocols.
Alexandru Baltag, Sonja Smets
doaj +1 more source
LTL-Specification of Counter Machines
Моделирование и анализ информационных систем, 2021 The article is written in support of the educational discipline “Non-classical logics”. Within the framework of this discipline, the objects of study are the basic principles and constructive elements, with the help of which the formal construction of ...
Egor V. Kuzmin
doaj +1 more source
Globally Admissible Inference Rules
Известия Иркутского государственного университета: Серия "Математика", 2022 Setting the basic rules of inference is fundamental to logic. The most general variant of possible inference rules are admissible inference rules: in logic 𝐿, a rule of inference is admissible if the set of theorems 𝐿 is closed with respect to this rule.
V.V. Rimatskiy
doaj +1 more source
A Fundamental Non-Classical Logic
Logics, 2023 We give a proof-theoretic as well as a semantic characterization of a logic in the signature with conjunction, disjunction, negation, and the universal and existential quantifiers that we suggest has a certain fundamental status. We present a Fitch-style natural deduction system for the logic that contains only the introduction and elimination rules ...
openaire +3 more sources
Proof Complexity of Non-classical Logics [PDF]
, 2012 Proof complexity is an interdisciplinary area of research utilising techniques from logic, complexity, and combinatorics towards the main aim of understanding the complexity of theorem proving procedures. Traditionally, propositional proofs have been the main object of investigation in proof complexity.
Olaf Beyersdorff, Oliver Kutz
openaire +6 more sources
Nicolai Vasiliev’s Imaginary Logic and Semantic Foundations for the Logic of Assent
Philosophia Scientiæ, 2014 The Russian philosopher Nicolai Vasiliev is known as a forerunner of substantially non-classical logics, i.e., logics that differ from classical logic by dropping principles that are sound in classical logic.
Werner Stelzner
doaj +1 more source