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)
03B60: Other nonclassical logic
03A05: Philosophical and critical aspects of logic and foundations
03B20: Subsystems of classical logic (including intuitionistic logic)
03F55: Intuitionistic mathematics
03-00: General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations
Related Items
Judgement aggregation in non-classical logics, Unnamed Item, Unnamed Item, PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS, Modal translation of substructural logics, PROVING UNPROVABILITY, Logical Foundations and Kant's Principles of Formal Logic, , , AND REINHARDT’S PROGRAM, Proof-theoretic pluralism, Compositional truth with propositional tautologies and quantifier-free correctness, Conjunctive paraconsistency, Two quantum logics of indeterminacy, A multi-periods production-inventory model with capacity constraints for multi-manufacturers - a global optimality in intuitionistic fuzzy environment, Generalizing functional completeness in Belnap-Dunn logic, Terminological difficulties in fuzzy set theory -- the case of ``intuitionistic fuzzy sets, Quantified temporal alethic boulesic doxastic logic, A more unified approach to free logics, Backlogging EOQ model for promotional effort and selling price sensitive demand- an intuitionistic fuzzy approach, Truth, partial logic and infinitary proof systems, A semantic hierarchy for intuitionistic logic, On the costs of nonclassical logic, Paraconsistent inference relations induced from inconsistency measures, Orthomodular lattices as \(L\)-algebras, Valuations: bi, tri, and tetra, Notes on stratified semantics, A general mathematics of names, Lattice-theoretic properties of algebras of logic, Names and their kind of rigidity, One step is enough, 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, Contrary-To-Duties in Games, Semi-linear Varieties of Lattice-Ordered Algebras
