scientific article
From MaRDI portal
Publication:3119349
zbMath1410.03010MaRDI QIDQ3119349
Publication date: 11 March 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (7)
A modular construction of type theories ⋮ A pure view of ecumenical modalities ⋮ An ecumenical notion of entailment ⋮ Bilateral Rules as Complex Rules ⋮ Inferential Semantics, Paraconsistency, and Preservation of Evidence ⋮ The seeming interdependence between the concepts of valid inference and proof ⋮ Classical harmony and separability
This page was built for publication:
