- Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.details
|
|
An algebraic and Kripke-style approach to a certain extension of intuitionistic logic.Cecylia Rauszer - 1980 - Warszawa: [available from Ars Polona].details
|
|
Constructivism in mathematics: an introduction.A. S. Troelstra - 1988 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. Edited by D. van Dalen.details
|
|
On Split Negation, Strong Negation, Information, Falsification, and Verification.Heinrich Wansing - 2016 - In Katalin Bimbó (ed.), J. Michael Dunn on Information Based Logics. Cham, Switzerland: Springer.details
|
|
Lectures on the Curry-Howard isomorphism.Morten Heine Sørensen - 2007 - Boston: Elsevier. Edited by Paweł Urzyczyn.details
|
|
Constructible falsity and inexact predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.details
|
|
Proof and Falsity: A Logical Investigation.Nils Kürbis - 2019 - Cambridge, UK: Cambridge University Press.details
|
|
Meaning and necessity.Rudolf Carnap - 1947 - Chicago,: University of Chicago Press.details
|
|
Constructive Negations and Paraconsistency.Sergei Odintsov - 2008 - Dordrecht, Netherland: Springer.details
|
|
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.details
|
|
Grounding rules and (hyper-)isomorphic formulas.Francesca Poggiolesi - 2020 - Australasian Journal of Logic 17 (1):70-80.details
|
|
Constructible Falsity.David Nelson - 1950 - Journal of Symbolic Logic 15 (3):228-228.details
|
|
A logical calculus of meaning and synonymy.Yiannis Nicholas Moschovakis - 2006 - Linguistics and Philosophy 29:27-89.details
|
|
Foundations of Intuitionistic Logic.G. Kreisel - 1965 - Journal of Symbolic Logic 30 (2):243-244.details
|
|
Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2014 - Journal of Philosophical Logic 43 (2-3):239-259.details
|
|
Isomorphic formulae in classical propositional logic.Kosta Došen & Zoran Petrić - 2012 - Mathematical Logic Quarterly 58 (1):5-17.details
|
|
The Logic of Information Structures.H. Wansing - 1993details
|
|
A Framework for Defining Logics.Robert Harper, Furio Honsell & G. Plotkin - 1991 - LFCS, Department of Computer Science, University of Edinburgh.details
|
|
Meaning and argument. A theory of meaning centred on immediate argumental role.Cesare Cozzo - 1994 - Almqvist & Wiksell.details
|
|
Proof-theoretic semantics, paradoxes and the distinction between sense and denotation.Luca Tranchini - forthcoming - Journal of Logic and Computation 2014.details
|
|