scientific article; zbMATH DE number 1028816
From MaRDI portal
Publication:4342079
zbMath0875.03023MaRDI QIDQ4342079
Publication date: 8 July 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)
Related Items (34)
A modal reduction for partial logic ⋮ De Finettian logics of indicative conditionals. I: Trivalent semantics and validity ⋮ A simple sequent calculus for partial functions ⋮ Partial up an down logic ⋮ Binary quantification systems ⋮ Non-conditional contracting connectives ⋮ Temporal theories of reasoning ⋮ Honesty in partial logic ⋮ Semantics and proof-theory of depth bounded Boolean logics ⋮ Orthopartitions and possibility distributions ⋮ Connexive negation ⋮ Three-valued temporal logic \(Q_t\) and future contingents ⋮ Orthopartitions in knowledge representation and machine learning ⋮ Semantic games with chance moves revisited: from IF logic to partial logic ⋮ A first order logic for partial functions ⋮ False though partly true -- an experiment in logic ⋮ Borderline vs. unknown: comparing three-valued representations of imperfect information ⋮ Partial functions and logics: A warning ⋮ Skeptical reason maintenance and belief revision ⋮ The connection between two ways of reasoning about partial functions ⋮ On partial and paraconsistent logics ⋮ Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness ⋮ Algebras of intervals and a logic of conditional assertions ⋮ Valuations: bi, tri, and tetra ⋮ Variations on a theme of Curry ⋮ On the Complexity of Semantic Self-minimization ⋮ Partial logics reconsidered: A conservative approach ⋮ A Simple Modal Logic for Reasoning about Revealed Beliefs ⋮ Partially interpreted relations and partially interpreted quantifiers ⋮ A logic covering undefinedness in program proofs ⋮ An information-based theory of conditionals ⋮ Fixpoint semantics for logic programming a survey ⋮ A simple logic for reasoning about incomplete knowledge ⋮ Informational interpretation of substructural propositional logics
This page was built for publication:
