Propositional Lax Logic (1997)

Cached

Download Links

by Matt Fairtlough , Michael Mendler
Citations:61 - 8 self

Active Bibliography

7 Categorical and Kripke Semantics for Constructive Modal Logics – Natasha Alechina, Michael Mendler, Valeria De Paiva, Eike Ritter - 2001
23 Categorical and Kripke Semantics for Constructive S4 Modal Logic – Natasha Alechina, Michael Mendler, Valeria De Paiva, Eike Ritter - 2001
102 The Proof-Theory and Semantics of Intuitionistic Modal Logic – Alex K. Simpson - 1994
3 Almost duplication-free tableau calculi for propositional Lax logics – Alessandro Avellone, Mauro Ferrari - 1996
10 Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic – Gianluigi Bellin, Valeria de Paiva, Eike Ritter - 2001
1 On the Logical Content of Computational Type Theory: A Solution to Curry's Problem – Matt Fairtlough, Michael Mendler - 2002
Towards Constructive Decision . . . – Michael Mendler, Stephan Scheele - 2009
4 Proof Search in Lax Logic – Jacob M. Howe - 2000
3 MSc in Logic – Ivano A. Ciardelli - 2009
1 Inquisitive Semantics and Intermediate Logics. MSc Thesis (Afstudeerscriptie) – Ivano A. Ciardelli - 2009
12 First-order Lax Logic as a Framework for Constraint Logic Programming – Matt Fairtlough , Michael Mendler, Matt Walton - 1997
3 Characterising Combinational Timing Analyses in Intuitionistic Modal Logic – M. Mendler - 2000
5 A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits – Michael Mendler - 1996
1 Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics ⋆ – J. M. Davoren
8 Topological duality for intuitionistic modal algebras – Barnaby P. Hilken - 2000
1 A First Order Modal Logic and its Sheaf Models – Barnaby P. Hilken, David E. Rydeheard
3 A monadic formalization of ML5 – Daniel R. Licata, Robert Harper - 2010
19 On an Intuitionistic Modal Logic – G M Bierman, V C V de Paiva - 2001
3 Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics – Natasha Alechina, Valeria de Paiva, Eike Ritter - 1998