Logic and structure.
From MaRDI portal
[For a review of the first edition (1980) see Zbl 0434.03001.] This third edition differs from the second one (Zbl 0714.03001) principally in having a short chapter on weak normalisation in proof theory (cuts, normalisation for classical logic, normalisation for intuitionistic logic).
Recommendations
Cited in
(31)- Logical optimality of groundness analysis
- Defining stage argumentation semantics in terms of an abducible semantics
- Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic
- 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
- Diagnosability of fair transition systems
- Possibilistic nested logic programs and strong equivalence
- Fitch's paradox and probabilistic antirealism
- Referential logic of proofs
- Mechanizing common knowledge logic using COQ
- Modality Argumentation Programming
- Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1
- Realization of Intuitionistic Logic by Proof Polynomials
- scientific article; zbMATH DE number 218501 (Why is no real title available?)
- Knowledge, justification, and adequate reasons
- Decreasing diagrams for confluence and commutation
- Deriving natural deduction rules from truth tables
- Logic and structure
- Logic and structure.
- Symbolic reachability computation for families of linear vector fields
- The single-conclusion proof logic and inference rules specification
- Proof Terms for Generalized Natural Deduction
- Algebraic structures identified with bivalent and non-bivalent semantics of experimental quantum propositions
- Twin-treewidth: a single-exponential logic-based approach
- A complete axiomatization of infinitary first-order intuitionistic logic over \(\mathcal{L}_{\kappa^+ , \kappa} \)
- Equational theories and validity for logically constrained term rewriting
- Proof-theoretic semantics for first-order logic
- Proof theory of abelian connexive logics
- Expressiveness results for an inductive logic of separated relations
- Dual counterpart intuitionistic logic
- Fuzzy logic with countable evaluated syntax revisited
This page was built for publication: Logic and structure.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5906606)
