Proof methods for modal and intuitionistic logics /

Proof methods for modal and intuitionistic logics /

41

Bibliographic Details
Main Author:	Fitting, Melvin, 1942-
Format:
Published:	Dordrecht : D. Reidel, 1983
Subjects:	Proof theory Modality (Logic) Intuitionistic mathematics

Similar Items

A characterisation of open bisimilarity using an intuitionistic modal logic
by: Ahrn, Ki Yung, et al.
Published: (2018)

Proof theory for fuzzy logics /
by: 432738 Metcalfe, George, et al.
Published: (2009)

Handbook of modal logic /
by: Blackburn, Patrick, 1959-, et al.
Published: (2007)

Logic, proof and sets /
by: 388844 Bittinger, Marvin L.
Published: (1982)

Metamathematical investigation of intuitionistic arithmetic and analysis /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1973)

Modal logic : The lewis-modal systems /
by: 423681 Zeman, J. Jay
Published: (1973)

Logic and modality
by: Bevan, M
Published: (2022)

Modal logic : an Introduction to its syntax and semantics /
by: 374151 Cocchiarella, Nino B., et al.
Published: (2008)

Proofs and types /
by: 291662 Girard, Jean-Yves, et al.
Published: (1989)

Logic for concurrency and synchronisation /
by: Queiroz, Ruy J.G.B. de
Published: (2003)

Basic proof theory /
by: Troelstra, A. S. (Anne Sjerp), et al.
Published: (2006)

How to read and do proofs : an introduction to mathematical thought processes /
by: 419318 Solow, Daniel
Published: (2005)

Proof /
by: Plumpton, C. (Charles), et al.
Published: (1984)

Principles of intuitionism /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1969)

Intuitionism : an introduction /
by: 335238 Heyting, Arend
Published: (1966)

Modalities and formal systems
by: Millar, P, et al.
Published: (1969)

Conjecture and proof /
by: 181611 Laczkovich, Miklos
Published: (2001)

Proof theory /
by: Aczel, Peter
Published: (2008)

Logic in algebraic form : three languages and theories /
by: 366577 Craig, William
Published: (1974)

Logic II - proof [filem]
Published: ([n.d)

Logic II : proof [kasetvideo]
Published: ([19-)

Proof by induction [filem]
Published: (1969)

Mathematical reasoning : writing and proof /
by: 395819 Sundstrom, Theodore A.
Published: (2006)

One hundred years of intuitionism (1907-2007) : the Cerisy conference /
by: Atten, Mark Van
Published: (2008)

How to read and do proofs : an introduction to mathematical thought process /
by: 419318 Solow, Daniel
Published: (1982)

The Kleene symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
by: Kleene Symposium (1978 : University of Wisconsin-Madison), et al.
Published: (1980)

Learning to reason : an introduction to logic, sets and relations /
by: Rodgers, Nancy, 1941-
Published: (2000)

Reference and modality /
by: 391353 Linsky, Leonard

An examination of certain counterpart accounts
by: Milford, J
Published: (2022)

Theorem proving [filem]
Published: (1969)

Theorem proving [kasetvideo]
Published: (1969)

Reasoning under minimal upper bounds in propositional logic
by: Eiter, T, et al.
Published: (2006)

A goal-directed decision procedure for hybrid PDL
by: Kaminski, M, et al.
Published: (2014)

Proofs and fundamentals : a first course in abstract mathematics /
by: Bloch, Ethan D., 1956-
Published: (2000)

Intensional and higher-order modal logic : with applications to montague semantics /
by: 317500 Gallin, Daniel
Published: (1975)

Quantitative program logic and expected time bounds in probabilistic distributed algorithms
by: McIver, A
Published: (2002)

An introduction to mathematical reasoning : lectures on numbers, sets, and functions /
by: Eccles, Peter J., 1945-
Published: (1997)

Proff by induction [kasetvideo]
Published: (1969)

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
by: Williamson, T
Published: (1992)

Modal analysis software /
by: 181451 Norsham Amin
Published: (2001)