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
Works matching IS 00393215 AND DT 2014 AND VI 102 AND IP 1
Results: 11
1
2
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
3
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
4
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
5
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
6
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
7
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
8
Book Reviews.
- Published in:
- 2014
- By:
- Publication type:
- Book Review
9
Răzvan Diaconescu, Institution-independent Model Theory.
- Published in:
- 2014
- By:
- Publication type:
- Book Review
10
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
11
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