scientific article; zbMATH DE number 1852926
From MaRDI portal
Publication:4789456
zbMath1003.03523MaRDI QIDQ4789456
Publication date: 29 January 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (50)
Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics ⋮ Erotetic search scenarios and three-valued logic ⋮ Basing sequent systems on exclusive-or ⋮ Pure Variable Inclusion Logics ⋮ The limits of epistemic democracy ⋮ IEL-based Formal Dialogue System for Tutorials ⋮ An Inferentially Many-Valued Two-Dimensional Notion of Entailment ⋮ What is relevance logic? ⋮ Self-extensional three-valued paraconsistent logics ⋮ On the Rosser–Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz ⋮ Four-valued paradefinite logics ⋮ The B4-valued propositional Belnap-Dunn logic1 ⋮ Proof theory of paraconsistent weak Kleene logic ⋮ Logical argumentation by dynamic proof systems ⋮ A postulate-driven study of logical argumentation ⋮ Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks ⋮ Book review of: S. Bonzio, F. Paoli and M. P. Baldi, Logics of variable inclusion ⋮ Reasoning with Uncertainty by Nmatrix–Metric Semantics ⋮ A logical modeling of severe ignorance ⋮ Many-valued logic and sequence arguments in value theory ⋮ Maximal and premaximal paraconsistency in the framework of three-valued semantics ⋮ Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras ⋮ The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) ⋮ Ideal paraconsistent logics ⋮ REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS ⋮ A UNIFIED THEORY OF TRUTH AND PARADOX ⋮ Logics of left variable inclusion and Płonka sums of matrices ⋮ Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 ⋮ Soft sets: An ordinal formulation of vagueness with some applications to the theory of choice ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ Deductive argumentation by enhanced sequent calculi and dynamic derivations ⋮ Basic Constructive Connectives, Determinism and Matrix-Based Semantics ⋮ A simple logical matrix and sequent calculus for Parry's logic of analytic implication ⋮ A dissimilarity-based framework for generating inconsistency-tolerant logics ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents ⋮ Natural deduction for three-valued regular logics ⋮ Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination ⋮ A way to interpret Łukasiewicz logic and basic logic ⋮ An Epistemic Interpretation of Paraconsistent Weak Kleene Logic ⋮ On Semantic Gamification ⋮ Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data ⋮ Containment logics: algebraic completeness and axiomatization ⋮ Multi-valued semantics: why and how ⋮ Three-Valued Paraconsistent Propositional Logics ⋮ Effective semantics for the modal logics K and KT via non-deterministic matrices ⋮ Simple consequence relations ⋮ Finite-valued semantics for canonical labelled calculi ⋮ A Logical Autobiography ⋮ Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics ⋮ Comments on the Contributions
This page was built for publication:
