scientific article
From MaRDI portal
Publication:4025003
zbMath0759.03008MaRDI QIDQ4025003
Publication date: 22 February 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Paraconsistent logic ⋮ Неклассический взгляд на природу значений истинности ⋮ De Finettian logics of indicative conditionals. I: Trivalent semantics and validity ⋮ Many-valuedness from a universal logic perspective ⋮ 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 ⋮ Human rationality challenges universal logic ⋮ 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 ⋮ Empty logics ⋮ Derivability and metainferential validity ⋮ (I can't get no) antisatisfaction ⋮ (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 ⋮ Unified deductive systems: an outline ⋮ Non-transitive correspondence analysis ⋮ On the meaning of connectives (apropos of a non-necessitarianist challenge) ⋮ A meta-logic of inference rules: Syntax ⋮ Suszko's thesis, inferential many-valuedness, and the notion of a logical system ⋮ What is a Paraconsistent Logic? ⋮ A family of metainferential logics ⋮ Bi-facial truth: a case for generalized truth values ⋮ Valuations: bi, tri, and tetra ⋮ 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 ⋮ Beyond three inferential values ⋮ What is a non-truth-functional logic? ⋮ Metainferential duality ⋮ Disjoint Logics ⋮ The Strict/Tolerant Idea and Bilattices ⋮ Sequent-calculi for metainferential logics