What is a non-truth-functional logic?

DOI10.1007/s11225-009-9196-zzbMath1182.03031OpenAlexW1992450048WikidataQ61593364 ScholiaQ61593364MaRDI QIDQ1037600

João Marcos

Publication date: 16 November 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-009-9196-z

zbMATH Keywords

formal semanticstruth-functionalityabstract logics

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Related Items

2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09, Computational properties of partial non-deterministic matrices and their logics, Translating non-classical logics into classical logic by using hidden variables, An Inferentially Many-Valued Two-Dimensional Notion of Entailment, A curious dialogical logic and its composition problem, Plug and Play Negations, Generalizing functional completeness in Belnap-Dunn logic, Logical Opposition and Collective Decisions, Characterizing finite-valuedness, Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics, SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY, Combining fragments of classical logic: when are interaction principles needed?

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A non-deterministic view on non-classical negations
• Completeness and super-valuations
• Theory of logical calculi. Basic theory of consequence operations
• Truth, belief, and vagueness
• On the structure of paraconsistent extensions of Johansson's logic
• Algebraic foundations of many-valued reasoning
• Fibring non-truth-functional logics: Completeness preservation
• Analysis and synthesis of logics. How to cut and paste reasoning systems
• Non-deterministic Multiple-valued Structures
• Quasi-truth-functional systems of propositional logic
• Classic-Like Analytic Tableaux for Finite-Valued Logics
• Possible-translations semantics for some weak classically-based paraconsistent logics
• On the Concept of Following Logically
• Bridges between Classical and Nonmonotonic Logic
• Logics of Formal Inconsistency
• The independence of connectives
• The theory of truth tabular connectives, both truth functional and modal
• Deducibility and many-valuedness
• Note on a property of matrices for Lewis and Langford's calculi of propositions