A mind of a non-countable set of ideas
From MaRDI portal
Publication:3534980
DOI10.12775/LLP.2008.003zbMath1152.03301MaRDI QIDQ3534980
Publication date: 10 November 2008
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
modal logicpropositional logicinference ruleBoolean functionfunctional completenessadmissible rulesuperintuitionistic logicintermediate logicmulti-valued logicKuznetsov
History of mathematics in the 20th century (01A60) Modal logic (including the logic of norms) (03B45) Biographies, obituaries, personalia, bibliographies (01A70) Boolean functions (06E30) History of mathematical logic and foundations (03-03) Many-valued logic (03B50) Intermediate logics (03B55)
Related Items (3)
Undecidable iterative propositional calculus ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ Maksimova, Relevance and the Study of Lattices of Non-classical Logics
This page was built for publication: A mind of a non-countable set of ideas