scientific article; zbMATH DE number 3316031
From MaRDI portal
Publication:5595152
Cited in
(13)- Reference and perspective in intuitionistic logics
- Normal modal model theory
- Partial up an down logic
- Honesty in partial logic
- Saturated free algebras and almost indiscernible theories
- The Story of \gamma γ
- A proof-theoretic account of classical principles of truth
- On unification and admissible rules in Gabbay-de Jongh logics
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
- On different intuitionistic calculi and embeddings from Int to S4
- Double negation as minimal negation
- Kripke semantics for higher-order type theory applied to constraint logic programming languages
- Constructive validity of a generalized Kreisel-Putnam rule
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5595152)
