8 results on '"KRIPKE semantics"'
Search Results
2. Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations
3. SUPER-STRICT IMPLICATIONS.
4. EMPIRICAL NEGATION, CO-NEGATION AND THE CONTRAPOSITION RULE I: SEMANTICAL INVESTIGATIONS.
5. AN INVESTIGATION INTO INTUITIONISTIC LOGIC WITH IDENTITY.
6. LABELED SEQUENT CALCULUS FOR ORTHOLOGIC.
7. SOME WEAK VARIANTS OF THE EXISTENCE AND DISJUNCTION PROPERTIES IN INTERMEDIATE PREDICATE LOGICS.
8. INTERPOLATION IN NORMAL EXTENSIONS OF THE BROUWER LOGIC.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.