0 | -- | 0 | Gabriel Sandu. On a Combination of Truth and Probability: Probabilistic IF Logic |
0 | -- | 0 | Roy Dyckhoff, Sara Negri. Commentary on Grigori Mints' "Classical and Intuitionistic Geometric Logic" |
0 | -- | 0 | Dima Grigoriev, Vladimir Shpilrain. Secure Multiparty Computation without One-way Functions |
0 | -- | 0 | Gabriel Sandu. Commentary on Jaakko Hintikka's "IF Logic and Linguistic Theory" |
0 | -- | 0 | Paola D'Aquino, Angus Macintyre. Model Theory of Some Local Rings |
0 | -- | 0 | Jaakko Hintikka. IF Logic and Linguistic Theory |
0 | -- | 0 | Marcos Cramer. Implicit Dynamic Function Introduction and Ackermann-like FunctionTheory |
0 | -- | 0 | Michel De Glas. Locology and Localistic Logic: MathematicalandEpistemologicalAspects |
0 | -- | 0 | Vladimir L. Vasyukov. Horizons of Scientific Pluralism: Logics, Ontology, Mathematics |
0 | -- | 0 | Ryota Akiyoshi. An Ordinal-free Proof of the Complete Cut-elimination Theorem for \Pi^1_1-CA+BI with the omega-rule |
0 | -- | 0 | Theodora Achourioti, Michiel van Lambalgen. Kant'sLogicRevisited |
0 | -- | 0 | Grigori Mints. Classical and Intuitionistic Geometric Logic |
0 | -- | 0 | Valeria de Paiva, Harley Eades III. Constructive Temporal Logic, Categorically |
0 | -- | 0 | Anatoly M. Vershik. About Grisha Mints |
0 | -- | 0 | Francis Jeffry Pelletier. The Logic for Metaphysical Conceptions of Vagueness |
0 | -- | 0 | Reinhard Kahle. The logical Cone |
0 | -- | 0 | Graham Priest. A Note on the Axiom of Countability |
0 | -- | 0 | Sara Negri. Proof Theory for Non-normal Modal Logics: The Neighbourhood Formalism and Basic Results |
0 | -- | 0 | Makoto Kanazawa. Parsing and Generation as Datalog Query Evaluation |
0 | -- | 0 | Oleg Prosorov. Topologies and Sheaves Appeared as Syntax and Semantics of Natural Language |
0 | -- | 0 | Rosalie Iemhoff. On the Existence of Alternative Skolemization Methods |
0 | -- | 0 | Andrei Rodin. Venus Homotopically |
0 | -- | 0 | Stepan I. Bashmakov, Anna V. Kosheleva, Vladimir V. Rybakov. Unification for Multi-Agent Temporal Logics with Universal Modality |
0 | -- | 0 | Sarah Negri. Correction note to "Proof theory for non-normal modal logics: The neighbourhood formalism" |
0 | -- | 0 | Spencer Johnston, Wilfrid Hodges. Medieval Modalities and Modern Method: Avicenna and Buridan |
0 | -- | 0 | Matthias Baaz, Alexander Leitsch. On the Complexity of Translations from Classical to Intuitionistic Proofs |
0 | -- | 0 | Andrei Patkul. The Historical Role of Kant's Views on Logic |
0 | -- | 0 | A. Burdman Feferman, Vladimir Lifschitz. In Memoriam: Grigori E. Mints, 1939-2014 |
0 | -- | 0 | Anatol Slissenko. Towards Analysis of Information Structure of Computations |
0 | -- | 0 | Michael Rathjen. Long Sequences of Descending Theories and other Miscellanea on Slow Consistency |
0 | -- | 0 | Sergei Soloviev 0001. Grigori Mints, a Proof Theorist in the USSR: Some Personal Recollections in a Scientific Context |
0 | -- | 0 | Yuri I. Manin. Foundations as Superstructure (Reflections of a practicing mathematician) |