Logic and structure.
From MaRDI portal
Publication:5906606
zbMath0807.03001MaRDI QIDQ5906606
Publication date: 10 November 1994
Published in: Universitext (Search for Journal in Brave)
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Classical propositional logic (03B05)
Related Items (20)
Realization of Intuitionistic Logic by Proof Polynomials ⋮ Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic ⋮ Diagnosability of fair transition systems ⋮ Mechanizing common knowledge logic using COQ ⋮ Fuzzy logic with countable evaluated syntax revisited ⋮ Dealing with explicit preferences and uncertainty in answer set programming ⋮ On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators ⋮ Fitch's paradox and probabilistic antirealism ⋮ Defining stage argumentation semantics in terms of an abducible semantics ⋮ Proof Terms for Generalized Natural Deduction ⋮ Symbolic reachability computation for families of linear vector fields ⋮ Referential logic of proofs ⋮ The single-conclusion proof logic and inference rules specification ⋮ Modality Argumentation Programming ⋮ Unnamed Item ⋮ Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1 ⋮ Deriving Natural Deduction Rules from Truth Tables ⋮ Possibilistic nested logic programs and strong equivalence ⋮ Logical optimality of groundness analysis ⋮ KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS
This page was built for publication: Logic and structure.
