scientific article; zbMATH DE number 2109541
From MaRDI portal
Publication:4822151
zbMath1060.03027MaRDI QIDQ4822151
Publication date: 25 October 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (33)
Неклассический взгляд на природу значений истинности ⋮ CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH ⋮ De Finettian logics of indicative conditionals. I: Trivalent semantics and validity ⋮ A generalization of ordered-pair semantics ⋮ Is `no' a force-indicator? Yes, sooner or later! ⋮ An Inferentially Many-Valued Two-Dimensional Notion of Entailment ⋮ Foreword: Three-valued logics and their applications ⋮ The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) ⋮ From (Paraconsistent) Topos Logic to Universal (Topos) Logic ⋮ Knot is not that nasty (but it is hardier than tonk) ⋮ Editorial introduction: substructural logics and metainferences ⋮ One step is enough ⋮ Derivability and metainferential validity ⋮ (I can't get no) antisatisfaction ⋮ The nature of entailment: an informational approach ⋮ (Meta)inferential levels of entailment beyond the Tarskian paradigm ⋮ Two traditions in abstract valuational model theory ⋮ From many-valued consequence to many-valued connectives ⋮ A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS ⋮ Non-transitive correspondence analysis ⋮ On the meaning of connectives (apropos of a non-necessitarianist challenge) ⋮ Suszko's thesis, inferential many-valuedness, and the notion of a logical system ⋮ What is a Paraconsistent Logic? ⋮ On Non-transitive “Identity” ⋮ A family of metainferential logics ⋮ The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins ⋮ SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY ⋮ A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES ⋮ Meaningless divisions ⋮ Metainferential duality ⋮ Disjoint Logics ⋮ The Strict/Tolerant Idea and Bilattices ⋮ Sequent-calculi for metainferential logics
This page was built for publication:
