Handbook of philosophical logic. Vol. 5
From MaRDI portal
Publication:1777639
zbMath1065.03001MaRDI QIDQ1777639
No author found.
Publication date: 25 May 2005
Published in: Handbook of Philosophical Logic (Search for Journal in Brave)
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)
Related Items
, , AND REINHARDT’S PROGRAM ⋮ A multi-periods production-inventory model with capacity constraints for multi-manufacturers - a global optimality in intuitionistic fuzzy environment ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ A more unified approach to free logics ⋮ Contrary-To-Duties in Games ⋮ A general mathematics of names ⋮ Orthomodular lattices as \(L\)-algebras ⋮ Truth, partial logic and infinitary proof systems ⋮ Names and their kind of rigidity ⋮ Judgement aggregation in non-classical logics ⋮ Semi-linear Varieties of Lattice-Ordered Algebras ⋮ Backlogging EOQ model for promotional effort and selling price sensitive demand- an intuitionistic fuzzy approach ⋮ One step is enough ⋮ Proof-theoretic pluralism ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Compositional truth with propositional tautologies and quantifier-free correctness ⋮ Conjunctive paraconsistency ⋮ Two quantum logics of indeterminacy ⋮ Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} ⋮ Neutral free logic: motivation, proof theory and models ⋮ Notes on models of (partial) Kripke-Feferman truth ⋮ Lattice-theoretic properties of algebras of logic ⋮ Generalizing functional completeness in Belnap-Dunn logic ⋮ A semantic hierarchy for intuitionistic logic ⋮ On the costs of nonclassical logic ⋮ PROVING UNPROVABILITY ⋮ Valuations: bi, tri, and tetra ⋮ PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS ⋮ Modal translation of substructural logics ⋮ Notes on stratified semantics ⋮ Paraconsistent inference relations induced from inconsistency measures ⋮ Logical Foundations and Kant's Principles of Formal Logic ⋮ Terminological difficulties in fuzzy set theory -- the case of ``intuitionistic fuzzy sets
This page was built for publication: Handbook of philosophical logic. Vol. 5
