The external version of a subclassical logic

DOI10.1017/S1755020325100993MaRDI QIDQ6873534zbMATH OpenFDO

Authors Massimiliano Carrara, Michele Pra Baldi

Publication date 16 January 2026

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1755020325100993

zbMATH Keywords

algebraic logicbochvar external logicthree-valued logics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Other algebras related to logic (03G25)

Cites work

• A map of dependencies among three-valued logics
• A note on R-Mingle and Sobociński's three-valued logic
• A note on Sugihara algebras
• Abstract algebraic logic. An introductory textbook
• Algebraic and proof-theoretic aspects of non-classical logics. Papers in honor of Daniele Mundici on the occasion of his 60th birthday
• Algebraic foundations of many-valued reasoning
• An algebraic view of super-Belnap logics
• An epistemic interpretation of paraconsistent weak Kleene logic
• An introduction to non-classical logic. From if to is
• Boolean elements in Lukasiewicz algebras, I
• Computational Errors and Suspension in a PWK Epistemic Agent
• Defining LFIs and LFUs in extensions of infectious logics
• Equivalence of consequence operations
• Equivalence of consequence relations: an order-theoretic and categorical perspective
• Fragments of R-mingle
• Generalized MV-algebras
• Handbook of mathematical fuzzy logic. Volume 1
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 5235521 (Why is no real title available?)
• scientific article; zbMATH DE number 3315182 (Why is no real title available?)
• scientific article; zbMATH DE number 3061149 (Why is no real title available?)
• Logic of antinomies
• Logics of formal inconsistency
• Logics of variable inclusion
• Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
• Natural 3-valued logics—characterization and proof theory
• Nearly every normal modal logic is paranormal
• Normality operators and classical recapture in many-valued logic
• Off-topic: a new interpretation of weak Kleene logic
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• On the structure of Bochvar algebras
• Protoalgebraic logics
• Residuated lattices. An algebraic glimpse at substructural logics
• The logic of paradox
• Theories of truth based on four-valued infectious logics
• Three-valued logics, uncertainty management and rough sets

Cited in

(1)

• On the structure and theory of McCarthy algebras

This page was built for publication: The external version of a subclassical logic

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