- Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation.Juan C. Agudelo-Agudelo - 2024 - Journal of Applied Non-Classical Logics 34 (1):31-54.details
|
|
Inter-model connectives and substructural logics.Igor Sedlár - 2014 - In Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.), Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI). Cham, Switzerland: Springer. pp. 195-209.details
|
|
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
Reprint of: A more general general proof theory.Heinrich Wansing - 2017 - Journal of Applied Logic 25:23-46.details
|
|
Natural deduction for bi-intuitionistic logic.Luca Tranchini - 2017 - Journal of Applied Logic 25:S72-S96.details
|
|
A modal translation for dual-intuitionistic logic.Yaroslav Shramko - 2016 - Review of Symbolic Logic 9 (2):251-265.details
|
|
Deductive Inference as Indirect Verification.Takuro Onishi - 2015 - Journal of the Japan Association for Philosophy of Science 42 (2):81-95.details
|
|
|
|
Pragmatic and dialogic interpretations of bi-intuitionism. Part I.Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi & Alessandro Menti - 2014 - Logic and Logical Philosophy.details
|
|
Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI).Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.) - 2014 - Cham, Switzerland: Springer.details
|
|
Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.details
|
|