The ubiquity of conservative translations Emil Jeˇrábek ∗ (2011)

by Unknown Authors

Active Bibliography

The ubiquity of conservative translations Emil Jeˇrábek ∗ – unknown authors - 2012
1 A survey of clones on infinite sets – Martin Goldstern, Michael Pinsker
17 The Complexity of Satisfiability Problems: Refining Schaefer’s Theorem – Eric Allender, Michael Baul, Neil Immerman, Henning Schnoor, Heribert Vollmer
Bases of admissible rules of Łukasiewicz logic – Emil Jerábek - 2009
Rules with parameters in modal logic I Emil Jeˇrábek ∗ – unknown authors - 2013
Saturated models in institutions – Răzvan Diaconescu , Marius Petria
An Axiomatic Approach to Structuring Specifications – Răzvan Diaconescu
Borrowing Interpolation – Răzvan Diaconescu
3 An encoding of partial algebras as total algebras – Răzvan Diaconescu
4 Mathematical models of cognitive space and time – Joseph Goguen - 2006
30 The Heterogeneous Tool Set – Till Mossakowski, Christian Maeder, Klaus Lüttich, Stefan Wölfl - 2007
1 On Theorems Equivalent with Kotzig's Result on Graphs with Unique 1-Factors – Stefan Szeider - 2001
8 A Classical Linear λ-calculus – G.M. Bierman - 1997
1 Possible-translations semantics (extended abstract – João Marcos - 2004
Towards a Classical Linear λ-calculus – G.M. Bierman - 1996
Tools and Techniques for Formalising Structural Proof Theory – Peter Chapman, Peter Chapman
Multi-valued Semantics: Why and How – A. Avron - 2008
CARNAP’S PROBLEM: WHAT IS IT LIKE TO BE A NORMAL INTERPRETATION OF CLASSICAL LOGIC? * – Arnold Koslow
3 Ineffable Inconsistencies – João Marcos