scientific article; zbMATH DE number 2109541

zbMATH Open1060.03027MaRDI QIDQ4822151FDOQ4822151

Szymon Frankowski

Publication date: 25 October 2004

Title of this publication is not available (Why is that?)

Recommendations

• Plausible inferences and plausible reasoning
• Verification of the logic of plausible reasoning
• scientific article; zbMATH DE number 956598
• scientific article; zbMATH DE number 408801
• Plausible reasoning expressed by \(p\)-consequence
• A Formal Logic for Abductive Reasoning
• Formal explanations as logical derivations
• Logically reliable inductive inference
• Plausible reasoning: a first-order approach
• scientific article; zbMATH DE number 2089442

Mathematics Subject Classification ID

Many-valued logic (03B50) Abstract deductive systems (03B22)

Cited In (45)

• A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES
• A family of metainferential logics
• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
• On axiomatization of many-valued logics associated with formalization of plausible reasonings
• De Finettian logics of indicative conditionals. I: Trivalent semantics and validity
• From (Paraconsistent) Topos Logic to Universal (Topos) Logic
• The Strict/Tolerant Idea and Bilattices
• (I can't get no) antisatisfaction
• Non-transitive correspondence analysis
• On Non-transitive “Identity”
• A generalization of ordered-pair semantics
• A generalization of Beall's off-topic interpretation
• The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
• Sequent-calculi for metainferential logics
• Title not available (Why is that?)
• Неклассический взгляд на природу значений истинности
• Metainferential duality
• Disjoint Logics
• Title not available (Why is that?)
• Knot is not that nasty (but it is hardier than tonk)
• An Inferentially Many-Valued Two-Dimensional Notion of Entailment
• (Meta)inferential levels of entailment beyond the Tarskian paradigm
• Derivability and metainferential validity
• The nature of entailment: an informational approach
• On three-valued presentations of classical logic
• Conservatively extending classical logic with transparent truth
• From many-valued consequence to many-valued connectives
• Two traditions in abstract valuational model theory
• Finite Hilbert systems for weak Kleene logics
• On Woodruff's constructive nonsense logic
• On the meaning of connectives (apropos of a non-necessitarianist challenge)
• A note on FDE ``all the way up
• What is a Paraconsistent Logic?
• The linked inference principle. I: The formal treatment
• Is `no' a force-indicator? Yes, sooner or later!
• Editorial introduction: substructural logics and metainferences
• One step is enough
• \(\mathsf{ST}\) and \(\mathsf{TS}\) as product and sum
• Adequate formalization
• Meaningless divisions
• Suszko's thesis, inferential many-valuedness, and the notion of a logical system
• Foreword: Three-valued logics and their applications
• SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
• Verification of the logic of plausible reasoning
• A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS

This page was built for publication:

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