scientific article; zbMATH DE number 3032489
From MaRDI portal
Publication:5772179
zbMath0020.19402MaRDI QIDQ5772179
No author found.
Publication date: 1938
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (26)
Correia semantics revisited ⋮ Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen ⋮ Tableaux and restricted quantification for systems related to weak Kleene logic ⋮ Deductive systems with unified multiple-conclusion rules ⋮ The natural deduction systems for the three-valued nonsense logics Z and E ⋮ Semilattice-based dualities ⋮ A computational interpretation of conceptivism ⋮ Defining LFIs and LFUs in extensions of infectious logics ⋮ Rivals to Belnap-Dunn logic on interlaced trilattices ⋮ The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) ⋮ Unified deductive systems: an outline ⋮ On dynamically non-trivial three-valued logics: Oscillatory and bifurcatory species ⋮ Tree-like proof systems for finitely-many valued non-deterministic consequence relations ⋮ Stone-type representations and dualities for varieties of bisemilattices ⋮ A simple logical matrix and sequent calculus for Parry's logic of analytic implication ⋮ Logical Opposition and Collective Decisions ⋮ Non Truth-Functional Many-Valuedness ⋮ On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis ⋮ A criterion of functional completeness for \({\mathfrak B}^3\) ⋮ Bochvar-McCarthy logic and process algebra ⋮ A many-valued semantics for category mistakes ⋮ Logics of nonsense and Parry systems ⋮ Propositional and predicate logics of incomplete information ⋮ Meaningless divisions ⋮ Provability as a deontic notion ⋮ Notes on naive semantics
This page was built for publication:
