Interpreting Lattice-Valued Set Theory in Fuzzy Set Theory
Interpreting and Applying Proof Theories for Modal Logic
Interpretability formalized
Interpolation for McCain
Interpolation and SAT-based Model Checking
Interpolant-Based Don`t Care Computation
INTERPLAYS OF KNOWLEDGE AND NON
Internal Inconsistency and the Reform of Naïve Set Comprehension
INTERMEDIATE LOGIC – Glossary of key terms
Intermediate Logic
Interleaved scope for games and automata
Interactive Theorem Proving with Temporal Logic
Interactive Theorem Proving in Coq and the Curry
Interactive Flashcards - World War I Era
Integrating Logical Reasoning and Probabilistic Chain Graphs
Integer Programming Models
Insights into Modal Slash Logic and Modal Decidability
Informal proofs
Informal Proceedings of the 30th International Workshop on
Infinity 1. Introduction
