An unexpected Boolean connective

DOI10.1007/S11787-021-00280-7MaRDI QIDQ2169126zbMATH OpenOpenAlexFDO

Authors Sérgio Marcelino

Publication date 1 September 2022

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2102.05404

zbMATH Keywords

axiomatizabilityanalytic calculinon-deterministic semanticsBoolean-connectivesgeneralized truth-functionalitymultiple-conclusion rulestwo-valued logics

Mathematics Subject Classification ID

Many-valued logic (03B50) Mechanization of proofs and logical operations (03B35)

Recommendations

• Non-deterministic combination of connectives
• Non-deterministic Multiple-valued Structures
• Nondeterministic three-valued logic: isotonic and guarded truth-functions
• Boolean connexive logics: semantics and tableau approach
• Logical non-determinism as a tool for logical modularity: an introduction

Cites work

• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• scientific article; zbMATH DE number 3532916 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 1219632 (Why is no real title available?)
• 2-element matrices
• Abstract algebraic logic. An introductory textbook
• Analytic calculi for monadic PNmatrices
• Approximate reasoning about logic circuits with single-fan-out unreliable gates
• Characterizing finite-valuedness
• Closure properties and decision problems of dag automata
• Combining fragments of classical logic: when are interaction principles needed?
• Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
• Decision and optimization problems in the unreliable-circuit logic
• Disjoint fibring of non-deterministic matrices
• Eliminating disjunctions by disjunction elimination
• Fibring of logics as a categorial construction
• Finite-valued semantics for canonical labelled calculi
• Implicative twist-structures
• Logics of left variable inclusion and Płonka sums of matrices
• Non-deterministic Multiple-valued Structures
• On Axioms and Rexpansions
• On meet-combination of logics
• On the representation of \(\mathbf{N4}\)-lattices
• Proof systems for reasoning about computation errors
• Swap structures semantics for Ivlev-like modal logics
• Taming paraconsistent (and other) logics: an algorithmic approach
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• The complexity of propositional implication
• The connectives
• Theory of logical calculi. Basic theory of consequence operations

Cited in

(5)

• Computational properties of partial non-deterministic matrices and their logics
• Finite two-dimensional proof systems for non-finitely axiomatizable logics
• Meet-combination of consequence systems
• An unexpected Boolean connective
• Expanding \(\text{FL}_{ew}\) with a Boolean connective

This page was built for publication: An unexpected Boolean connective

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2169126)