Works matching IS 00393215 AND DT 2014 AND VI 102 AND IP 1
Results: 11
Towards a Functional Approach to Modular Ontologies Using Institutions.
- Published in:
- Studia Logica, 2014, v. 102, n. 1, p. 117, doi. 10.1007/s11225-012-9466-z
- By:
- Publication type:
- Article
IF Modal Logic and Classical Negation.
- Published in:
- Studia Logica, 2014, v. 102, n. 1, p. 41, doi. 10.1007/s11225-012-9462-3
- By:
- Publication type:
- Article
Curry's Paradox, Generalized Modus Ponens Axiom and Depth Relevance.
- Published in:
- Studia Logica, 2014, v. 102, n. 1, p. 185, doi. 10.1007/s11225-013-9471-x
- By:
- Publication type:
- Article
On a Definition of a Variety of Monadic ℓ-Groups.
- Published in:
- Studia Logica, 2014, v. 102, n. 1, p. 67, doi. 10.1007/s11225-012-9464-1
- By:
- Publication type:
- Article
Cut-elimination for Weak Grzegorczyk Logic Go.
- Published in:
- Studia Logica, 2014, v. 102, n. 1, p. 1, doi. 10.1007/s11225-012-9432-9
- By:
- Publication type:
- Article
A Simplified Proof of the Church-Rosser Theorem.
- Published in:
- Studia Logica, 2014, v. 102, n. 1, p. 175, doi. 10.1007/s11225-013-9470-y
- By:
- Publication type:
- Article
Extensions of Priest-da Costa Logic.
- Published in:
- Studia Logica, 2014, v. 102, n. 1, p. 145, doi. 10.1007/s11225-013-9469-4
- By:
- Publication type:
- Article
Book Reviews.
- Published in:
- 2014
- By:
- Publication type:
- Book Review
Răzvan Diaconescu, Institution-independent Model Theory.
- Published in:
- 2014
- By:
- Publication type:
- Book Review
The Lattice of Kernel Ideals of a Balanced Pseudocomplemented Ockham Algebra.
- Published in:
- Studia Logica, 2014, v. 102, n. 1, p. 29, doi. 10.1007/s11225-012-9448-1
- By:
- Publication type:
- Article
On Some Generalizations of the Concept of Partition.
- Published in:
- Studia Logica, 2014, v. 102, n. 1, p. 93, doi. 10.1007/s11225-012-9465-0
- By:
- Publication type:
- Article