scientific article; zbMATH DE number 194679
From MaRDI portal
Publication:4692665
zbMath0678.00003MaRDI QIDQ4692665
No author found.
Publication date: 5 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Conference proceedings and collections of articles (00Bxx)
Related Items
New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers*, Paraconsistent logic, К вопросу о критерии паранепротиворечивости логик, A verification framework for agent programming with declarative goals, Paths to triviality, On neutrosophic paraconsistent topology, AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS, Paraconsistent logics?, An adaptive logic based on Jaśkowski's approach to paraconsistency, Active logic semantics for a single agent in a static world, NAIVE SET THEORY AND NONTRANSITIVE LOGIC, ABSOLUTE CONTRADICTION, DIALETHEISM, AND REVENGE, Against logical generalism, Annual Meeting of the Australasian Association for Logic, The Birth of Dialetheism, Conjunctive paraconsistency, Inferential constants, Free of Detachment: Logic, Rationality, and Gluts, Classifying material implications over minimal logic, Paraconsistency everywhere, K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You, Looting Liars Masking Models, Contradictory Information: Better Than Nothing? The Paradox of the Two Firefighters, Priest on Negation, On Non-transitive “Identity”, At the Limits of Thought, Some Comments and Replies, On argumentation logic and propositional logic, On Consistent Approximations of Belief Functions in the Mass Space, Real analysis in paraconsistent logic, Inconsistency as qualified truth: a probability logic approach, Extensionality and restriction in naive set theory, The premiss-based approach to judgment aggregation, Chunk and permeate, a paraconsistent inference strategy. I: The infinitesimal calculus, Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence, Handling inconsistencies in the early calculus. An adaptive logic for the design of chunk and permeate structures, Why Paraconsistent Logics?, A Survey of Annotated Logics, Richard (Routley) Sylvan: Writings on Logic and Metaphysics, JGXYZ: an ATP system for gap and glut logics, Sylvan's box: A short story and ten morals, The role of the common in cognitive prosperity: our command of the unspeakable and unwriteable, A simple signed system for paraconsistent reasoning, An Approach to Paraconsistent Multivalued Logic: Evaluation by Complex Truth Values, The validity paradox in modal \(\text{S}_5\), GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY, How to be really contraction free, The Trivial Object and the Non-Uiviality of a Semantically Closed Theory with Descriptions, Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
