Studia Logica
, Volume 85
Volume 85, Number 1, February 2007
Marta Bílková
:
Uniform Interpolation and Propositional Quantifiers in Modal Logics.
1-31
Electronic Edition
(link)
BibTeX
Loïc Colson
:
Another Paradox In Naive Set-Theory.
33-39
Electronic Edition
(link)
BibTeX
Daniel Gâinâ
,
Andrei Popescu
:
An Institution-Independent Proof of the Robinson Consistency Theorem.
41-73
Electronic Edition
(link)
BibTeX
Oliver Kutz
:
Notes on Logics of Metric Spaces.
75-104
Electronic Edition
(link)
BibTeX
Urszula Wybraniec-Skardowska
:
Meaning and Interpretation. I.
105-132
Electronic Edition
(link)
BibTeX
Robert van Rooij
:
The Stag Hunt and the Evolution of Social Structure.
133-138
Electronic Edition
(link)
BibTeX
Volume 85, Number 2, March 2007
Tarek Sayed Ahmed
:
A Note on Neat Reducts.
139-151
Electronic Edition
(link)
BibTeX
Barbara Dziemidowicz-Gryz
:
On Learnability of Restricted Classes of Categorial Grammars.
153-169
Electronic Edition
(link)
BibTeX
Lou Goble
:
Combinatory Logic and the Semantics of Substructural Logics.
171-197
Electronic Edition
(link)
BibTeX
Phiniki Stouppa
:
A Deep Inference System for the Modal Logic S5.
199-214
Electronic Edition
(link)
BibTeX
George Voutsadakis
:
Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity.
215-249
Electronic Edition
(link)
BibTeX
Xuefeng Wen
:
A Propositional Logic with Relative Identity Connective and a Partial Solution to the Paradox of Analysis.
251-260
Electronic Edition
(link)
BibTeX
Urszula Wybraniec-Skardowska
:
Meaning and Interpretation. II.
261-274
Electronic Edition
(link)
BibTeX
Melvin Fitting
:
Correction to FOIL
Axiomatized Studia Logica
, 84: 1-22, 2006.
275
Electronic Edition
(link)
BibTeX
Roy Cook
:
Book Reviews.
277-281
Electronic Edition
(link)
BibTeX
Volume 85, Number 3, April 2007
Joanna Golinska-Pilarek
,
Ewa Orlowska
:
Tableaux and Dual Tableaux: Transformation of Proofs.
283-302
Electronic Edition
(link)
BibTeX
Yutaka Miyazaki
:
Kripke Incomplete Logics Containing KTB.
303-317
Electronic Edition
(link)
BibTeX
Sebastiaan Terwijn
:
Kripke Models, Distributive Lattices, and Medvedev Degrees.
319-332
Electronic Edition
(link)
BibTeX
Marc Aiguier
,
Fabrice Barbier
:
An Institution-independent Proof of the Beth Definability Theorem.
333-359
Electronic Edition
(link)
BibTeX
Katarzyna Gajewska-Kurdziel
,
Krystyna Mruczek-Nasieniewska
:
The Lattice of Subvarieties of the Variety Defined by Externally Compatible Identities of Abelian Groups of Exponent
n
.
361-379
Electronic Edition
(link)
BibTeX
Yutaka Miyazaki
:
A Splitting Logic in NExt(KTB).
381-394
Electronic Edition
(link)
BibTeX
Claudio Pizzi
:
Necessity and Relative Contingency.
395-410
Electronic Edition
(link)
BibTeX
Igor Kozine
:
Joseph Y. Halpern, Reasoning about uncertainty.
411-412
Electronic Edition
(link)
BibTeX
Anders Søgaard
:
Patrick Blackburnand Johan Bos, Representation and Inference for Natural Language.
413-418
Electronic Edition
(link)
BibTeX
Reinhard Kahle
:
Edwin D. Mares, Relevant Logic - A Philosophical Interpretation.
419-424
Electronic Edition
(link)
BibTeX
A. D. Irvine
:
John Woods, Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences.
425-428
Electronic Edition
(link)
BibTeX
Copyright ©
Sun May 17 00:22:08 2009 by
Michael Ley
(
ley@uni-trier.de
)