Results 31 to 40 of about 97,467 (324)
A Neighbourhood Semantics for the Logic TK
Principia: An International Journal of Epistemology, 2011 The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK. Thus, by using
Cezar A. Mortari +1 more
doaj +3 more sources
Propositional logic extended with a pedagogically useful relevant implication [PDF]
, 2013 First and foremost, this paper concerns the combination of classical propositional logic with a relevant implication. The proposed combination is simple and transparent from a proof theoretic point of view and at the same time extremely useful for ...
Batens, Diderik
core +2 more sources
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae [PDF]
Logical Methods in Computer Science, 2016 Je\v{r}\'abek showed that cuts in classical propositional logic proofs in deep inference can be eliminated in quasipolynomial time. The proof is indirect and it relies on a result of Atserias, Galesi and Pudl\'ak about monotone sequent calculus and a ...
Paola Bruscoli +3 more
doaj +1 more source
Qualitative Choice Logic For Modeling Experts Recommendations of Antibiotics
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2022 Qualitative Choice Logic (QCL) is a logic-based formalism for preference handling. The logic adds to classical propositional logic a new connective called ordered disjunction (~).x~y intuitively means: if possible x, but if x is not possible then at ...
karima sedki +2 more
doaj +1 more source
Classical Logic in the Quantum Context
Quantum Reports, 2020 It is generally accepted that quantum mechanics entails a revision of the classical propositional calculus as a consequence of its physical content. However, the universal claim according to which a new quantum logic is indispensable in order to model ...
Andrea Oldofredi
doaj +1 more source
On the Expressive Power of Sub-Propositional Fragments of Modal Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Modal logic is a paradigm for several useful and applicable formal systems in computer science. It generally retains the low complexity of classical propositional logic, but notable exceptions exist in the domains of description, temporal, and spatial ...
Davide Bresolin +2 more
doaj +1 more source
Formal Logic for Informal Logicians
Informal Logic, 2008 Classical logic yields counterintuitive results for numerous propositional argument forms. The usual alternatives (modal logic, relevance logic, etc.) generate counterintuitive results of their own. The counterintuitive results create problems—especially
David Sherry
doaj +1 more source
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
On Explanation of Propositional Logic-based Argumentation System
International Conference on Agents and Artificial Intelligence, 2021 : We present a characterization about argumentation and proof in logic. Indeed, we show that proof for a claim α from a set of premises Φ can be deemed as a structured form of an argument for that claim. Due to the expressivity of classical propositional
Teeradaj Racharak, S. Tojo
semanticscholar +1 more source
Classical Combinatory Logic [PDF]
Discrete Mathematics & Theoretical Computer Science, 2005 Combinatory logic shows that bound variables can be eliminated without loss of expressiveness. It has applications both in the foundations of mathematics and in the implementation of functional programming languages.
Karim Nour
doaj +1 more source