2004-01-09 A consistent theory of attributes in a logic without contraction. 113-142 1993 52 Studia Logica 1 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica52.html#White93 2004-01-09 A intensional epistemic logic. 259-280 1993 52 Studia Logica 2 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica52.html#Jiang93 2004-01-09 Fuzzy intuitionistic quantum logics. 419-442 1993 52 Studia Logica 3 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica52.html#CattaneoCG93 2004-01-09 A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics. 197-232 1993 52 Studia Logica 2 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica52.html#CaferraDH93 2004-01-09 Supracompact inference operations. 457-482 1993 52 Studia Logica 3 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica52.html#Freund93 2004-01-09 Identity in modal logic theorem proving. 291-308 1993 52 Studia Logica 2 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica52.html#Pelletier93 2004-01-09 An essay on resolution logics. 309-322 1993 52 Studia Logica 2 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica52.html#Stachniak93 2004-01-09 The simple substitution property of the intermediate propositional logics on finite slices. 41-62 1993 52 Studia Logica 1 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica52.html#Sasaki93 2004-01-09 Recursive versus recursively enumerable binary relations. 587-594 1993 52 Studia Logica 4 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica52.html#Roy93 2004-01-09 Hybrid terms and sentences. 405-418 1993 52 Studia Logica 3 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica52.html#Schweigert93 2004-01-09 On Lukasiewicz-Moisil algebras of fuzzy sets. 95-112 1993 52 Studia Logica 1 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica52.html#Rudeanu93 2004-01-09 A study of intermediate propositional logics on the thrid slice. 15-22 1993 52 Studia Logica 1 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica52.html#HosoiM93 2004-01-09 Rules in relevant logic-II: formula representation. 565-586 1993 52 Studia Logica 4 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica52.html#Brady93 2004-01-09 Inductive inference in the limit for first-order sentences. 491-518 1993 52 Studia Logica 4 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica52.html#Lauth93 2004-01-09 Formal systems for modal operators on locales. 595-614 1993 52 Studia Logica 4 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica52.html#ReyesZ93 2004-01-09 Automated theorem proving for Lukasiewicz logics. 183-196 1993 52 Studia Logica 2 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica52.html#Beavers93 2004-01-09 A model for science kinematics. 519-548 1993 52 Studia Logica 4 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica52.html#BalzerLZ93 2004-01-09 Theory matrices (for modal logics) Using alphabetical monotonicity. 233-258 1993 52 Studia Logica 2 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica52.html#Gent93 2004-01-09 Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas. 23-40 1993 52 Studia Logica 1 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica52.html#Shimura93 2004-01-09 The completeness of the factor semantics for Lukasiewicz's infinite-valued logics. 143-168 1993 52 Studia Logica 1 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica52.html#Vasyukov93 2004-01-09 Five faces of minimality. 339-380 1993 52 Studia Logica 3 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica52.html#Makinson93 2004-01-09 The Logic of Linear Tolerance. 249-278 1992 51 Studia Logica 2 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#Dzaparidze92 2004-01-09 Semantics for Relevance Logic with Identity. 1-20 1992 51 Studia Logica 1 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#Mares92 2004-01-09 The Way of the Agent. 463-484 1992 51 Studia Logica 3/4 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#BelnapP92 2004-01-09 Editorial Note. 1992 51 Studia Logica 1 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#Wojcicki92 2004-01-09 Revision Algebra Semantics for Conditional Logic. 279-316 1992 51 Studia Logica 2 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#Pais92 2004-01-09 Structured Meanings and Reflexive Domains. 215-239 1992 51 Studia Logica 2 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#Lapierre92 2004-01-09 An Axiomatization for Until and Since over the Reals without the IRR Rule. 165-193 1992 51 Studia Logica 2 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#Reynolds92 2004-01-09 Bulletin IUHPS/DLMPS. 157-164 1992 51 Studia Logica 1 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#X92 2004-01-09 Brouwer-Zadeh Logic, Decidability and Bimodal Systems. 97-112 1992 51 Studia Logica 1 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#Giuntini92 2004-01-09 Strong Versus Weak Quantum Consequence Operations. 113-123 1992 51 Studia Logica 1 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#Malinowski92 2004-01-09 Partial Monotonicity and a New Version of the Ramsey Test. 21-47 1992 51 Studia Logica 1 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#PaisJ92 2004-01-09 Indexical Reference and Bodily Causal Diagrams in Intentional Action. 439-462 1992 51 Studia Logica 3/4 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#Castaneda92 2004-01-09 <i>omega</i>-rule. 241-248 1992 51 Studia Logica 2 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#Thau92 2004-01-09 Completeness Theorem for Dummett's LC Quantified and Some of Its Extensions. 317-336 1992 51 Studia Logica 2 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#Corsi92 2004-01-09 Normal Bimodal Logics of Ability and Action. 519-532 1992 51 Studia Logica 3/4 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#Brown92 2004-01-09 Process and Action: Relevant Theory and Logics. 379-438 1992 51 Studia Logica 3/4 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#Sylvan92 2004-01-09 Parallel Action: Concurrent Dynamic Logic with Independent Modalities. 551-578 1992 51 Studia Logica 3/4 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#Goldblatt92 2004-01-09 Action Incompleteness. 533-550 1992 51 Studia Logica 3/4 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#Segerberg92a 2004-01-09 Getting started: Beginnings in the Logic of Action. 347-378 1992 51 Studia Logica 3/4 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#Segerberg92 2004-01-09 Quantified Extensions of Canonical Propositional Intermediate Logics. 195-214 1992 51 Studia Logica 2 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#Ghilardi92 2004-01-09 Time and Modality in the Logic of Agency. 485-518 1992 51 Studia Logica 3/4 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#Chellas92 2004-01-09 Modal Companions of Intermediate Propositional Logics. 49-82 1992 51 Studia Logica 1 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#ChagrovZ92 2004-01-09 Lambek Calculus with Restricted Contraction and Expansion. 125-143 1992 51 Studia Logica 1 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#Prijatelj92 2004-01-09 Converse Principal Type-Scheme Theorem in Lambda Calculus. 83-95 1992 51 Studia Logica 1 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica51.html#Hirokawa92 2005-04-20 Inferential Intensionality. 3-16 2004 76 Studia Logica 1 http://www.springerlink.com/index/10.1023/B:STUD.0000027465.12589.75 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica76.html#Malinowski04 2005-04-20 Combinator Logics. 17-66 2004 76 Studia Logica 1 http://www.springerlink.com/index/10.1023/B:STUD.0000027466.68014.52 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica76.html#Goble04 2005-04-20 On the Representation of N4-Lattices. 385-405 2004 76 Studia Logica 3 http://www.springerlink.com/index/10.1023/B:STUD.0000032104.14199.08 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica76.html#Odintsov04 2005-04-20 Equational Bases for Joins of Residuated-lattice Varieties. 227-240 2004 76 Studia Logica 2 http://www.springerlink.com/index/10.1023/B:STUD.0000032086.42963.7c http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica76.html#Galatos04 2005-04-20 Temporalising Tableaux. 91-134 2004 76 Studia Logica 1 http://www.springerlink.com/index/10.1023/B:STUD.0000027468.28935.6d http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica76.html#KontchakovLWZ04 2005-04-20 Order Algebras as Models of Linear Logic. 201-225 2004 76 Studia Logica 2 http://www.springerlink.com/index/10.1023/B:STUD.0000032085.13087.bd http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica76.html#TsinakisZ04 2005-04-21 Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras. 161-200 2004 76 Studia Logica 2 http://www.springerlink.com/index/10.1023/B:STUD.0000032084.12744.e3 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica76.html#EstevaGM04 2005-04-20 Willem Blok's Work in Algebraic Logic. 155-160 2004 76 Studia Logica 2 http://www.springerlink.com/index/10.1023/B:STUD.0000032083.45504.62 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica76.html#Raftery04 2005-04-20 Statistics of Intuitionistic versus Classical Logics. 307-328 2004 76 Studia Logica 3 http://www.springerlink.com/index/10.1023/B:STUD.0000032101.88511.93 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica76.html#KostrzyckaZ04 2005-04-21 Rule Separation and Embedding Theorems for Logics Without Weakening. 241-274 2004 76 Studia Logica 2 http://www.springerlink.com/index/10.1023/B:STUD.0000032087.02579.e2 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica76.html#AltenR04 2005-04-20 Causation in a New Old Key. 343-383 2004 76 Studia Logica 3 http://www.springerlink.com/index/10.1023/B:STUD.0000032103.20517.11 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica76.html#Meixner04 2005-04-20 From Semirings to Residuated Kleene Lattices. 291-303 2004 76 Studia Logica 2 http://www.springerlink.com/index/10.1023/B:STUD.0000032089.54776.63 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica76.html#Jipsen04 2005-04-20 A Modal Logic for Discretely Descending Chains of Sets. 67-90 2004 76 Studia Logica 1 http://www.springerlink.com/index/10.1023/B:STUD.0000027467.49608.9d http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica76.html#Heinemann04 2005-04-20 Charles S. Chihara, "The Worlds of Possibility, Modal Realism and the Semantics of Modal Logic". 443-446 2004 76 Studia Logica 3 http://www.springerlink.com/index/10.1023/B:STUD.0000032135.92516.38 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica76.html#Nolan04 2005-04-20 Modal Incompleteness Revisited. 329-342 2004 76 Studia Logica 3 http://www.springerlink.com/index/10.1023/B:STUD.0000032102.67838.f2 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica76.html#Litak04 2005-04-20 From the Editors. 153 2004 76 Studia Logica 2 http://www.springerlink.com/index/10.1023/B:STUD.0000032133.81597.0a http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica76.html#X04 2005-04-20 Nicholas Rescher, "Paradoxes: Their Roots, Range, and Resolution"; Patrick Blackburn, Maarten de Rijke and Yde Venema, "Modal Logic", Cambridge Tracts in Theoretical Computer Science Volume 53. 135-142 2004 76 Studia Logica 1 http://www.springerlink.com/index/10.1023/B:STUD.0000027550.80518.77 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica76.html#CantiniG04 2005-04-20 The Variety of Lattice-Ordered Monoids Generated by the Natural Numbers. 275-290 2004 76 Studia Logica 2 http://www.springerlink.com/index/10.1023/B:STUD.0000032088.17345.ea http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica76.html#Wille04 2005-04-20 Expansion and Contraction of Finite States. 427-442 2004 76 Studia Logica 3 http://www.springerlink.com/index/10.1023/B:STUD.0000032106.55407.c8 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica76.html#Tamminga04 2005-04-20 Characterizing Simpler Recognizable Sets of Integers. 407-426 2004 76 Studia Logica 3 http://www.springerlink.com/index/10.1023/B:STUD.0000032105.17770.38 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica76.html#Rigo04 2005-04-20 Equivalents of Mingle and Positive Paradox. 117-128 2004 77 Studia Logica 1 http://www.springerlink.com/index/10.1023/B:STUD.0000034189.40308.d7 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica77.html#Schechter04 2005-04-20 A Dual Characterization of Subdirectly Irreducible BAOs. 105-115 2004 77 Studia Logica 1 http://www.springerlink.com/index/10.1023/B:STUD.0000034188.80692.46 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica77.html#Venema04 2005-04-20 No Matrix Term-Equivalent to Wronski's 3-element Matrix is Finitely Based. 413-423 2004 77 Studia Logica 3 http://www.springerlink.com/index/10.1023/B:STUD.0000039032.60684.88 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica77.html#Palasinska04 2005-04-20 Quantized Linear Logic, Involutive Quantales and Strong Negation. 355-384 2004 77 Studia Logica 3 http://www.springerlink.com/index/10.1023/B:STUD.0000039030.03885.7c http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica77.html#Kamide04 2005-04-20 Adding Involution to Residuated Structures. 181-207 2004 77 Studia Logica 2 http://www.springerlink.com/index/10.1023/B:STUD.0000037126.29193.09 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica77.html#GalatosR04 2005-04-20 A Sequent Formulation of Conditional Logic Based on Belief Change Operations. 425-438 2004 77 Studia Logica 3 http://www.springerlink.com/index/10.1023/B:STUD.0000039033.21918.51 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica77.html#Roeper04 2005-04-20 The Logic of Causal Explanation An Axiomatization. 325-354 2004 77 Studia Logica 3 http://www.springerlink.com/index/10.1023/B:STUD.0000039029.30053.6c http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica77.html#Koons04 2005-04-20 Products of Classes of Residuated Structures. 267-292 2004 77 Studia Logica 2 http://www.springerlink.com/index/10.1023/B:STUD.0000037130.29400.97 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica77.html#JonssonT04 2005-05-06 Book Reviews. 129-147 2004 77 Studia Logica 1 http://dx.doi.org/10.1023/B:STUD.0000034209.86817.34 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica77.html#YuCMJMRH04 2005-04-20 Early Examples of Resource-Consciousness. 81-86 2004 77 Studia Logica 1 http://www.springerlink.com/index/10.1023/B:STUD.0000034186.00298.d1 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica77.html#Pambuccian04 2005-04-20 Semantics for Analytic Containment. 87-104 2004 77 Studia Logica 1 http://www.springerlink.com/index/10.1023/B:STUD.0000034187.37935.24 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica77.html#Correia04 2005-04-20 The Distance Function in Commutative l-semigroups and the Equivalence in Lukasiewicz Logic. 241-253 2004 77 Studia Logica 2 http://www.springerlink.com/index/10.1023/B:STUD.0000037128.76996.90 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica77.html#Wronski04 2005-04-20 An Institution-independent Proof of Craig Interpolation Theorem. 59-79 2004 77 Studia Logica 1 http://www.springerlink.com/index/10.1023/B:STUD.0000034185.62660.d6 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica77.html#Diaconescu04 2005-04-20 Algebraic Aspects of Cut Elimination. 209-240 2004 77 Studia Logica 2 http://www.springerlink.com/index/10.1023/B:STUD.0000037127.15182.2a http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica77.html#BelardinelliJO04 2005-04-20 Light Affine Set Theory: A Naive Set Theory of Polynomial Time. 9-40 2004 77 Studia Logica 1 http://www.springerlink.com/index/10.1023/B:STUD.0000034183.33333.6f http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica77.html#Terui04 2005-04-20 Paradoxes in Double Extension Set Theories. 41-57 2004 77 Studia Logica 1 http://www.springerlink.com/index/10.1023/B:STUD.0000034184.03045.7d http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica77.html#Holmes04 2005-04-20 Free Lukasiewicz and Hoop Residuation Algebras. 153-180 2004 77 Studia Logica 2 http://www.springerlink.com/index/10.1023/B:STUD.0000037125.49866.50 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica77.html#BermanB04 2005-11-10 A New Representation Theorem for Contranegative Deontic Logic. 1-7 2004 77 Studia Logica 1 http://www.springerlink.com/index/10.1023/B:STUD.0000034182.95695.cb http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica77.html#Hanson04 2005-04-20 The Simplest Axiom System for Plane Hyperbolic Geometry. 385-411 2004 77 Studia Logica 3 http://www.springerlink.com/index/10.1023/B:STUD.0000039031.11852.66 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica77.html#Pambuccian04a 2005-04-20 Dale Jacquette (ed.), A Companion to Philosophical Logic. 439-452 2004 77 Studia Logica 3 http://www.springerlink.com/index/10.1023/B:STUD.0000039054.34813.68 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica77.html#Jepsen04 2005-04-20 Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices. 255-265 2004 77 Studia Logica 2 http://www.springerlink.com/index/10.1023/B:STUD.0000037129.58589.0c http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica77.html#Kowalski04 2005-04-20 On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees. 295-323 2004 77 Studia Logica 3 http://www.springerlink.com/index/10.1023/B:STUD.0000039028.22017.4f http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica77.html#Skvortsov04 2005-04-21 Algebraic theory of quasivarieties of heterogeneous partial algebras. 129-153 2004 78 Studia Logica 1-2 http://www.springerlink.com/index/10.1007/s11225-005-0153-1 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#Burmeister04 2005-04-21 Dominions in quasivarieties of universal algebras. 107-127 2004 78 Studia Logica 1-2 http://www.springerlink.com/index/10.1007/s11225-005-7127-1 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#Budkin04 2005-04-21 Finite basis problems and results for quasivarieties. 293-320 2004 78 Studia Logica 1-2 http://www.springerlink.com/index/10.1007/s11225-005-3320-5 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#MarotiM04 2005-04-21 On subdirectly irreducible OMAs. 261-277 2004 78 Studia Logica 1-2 http://www.springerlink.com/index/10.1007/s11225-005-1277-z http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#Holzer04 2005-04-21 An application of a Theorem of Ash to finite covers. 45-57 2004 78 Studia Logica 1-2 http://www.springerlink.com/index/10.1007/s11225-005-5057-6 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#AuingerGGS04 2005-04-21 On the structure of lattices of subquasivarieties of congruence-noetherian quasivarieties. 35-44 2004 78 Studia Logica 1-2 http://www.springerlink.com/index/10.1007/s11225-005-5044-y http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#AdarichevaG04 2005-04-21 Quasi-varieties: A special access. 249-260 2004 78 Studia Logica 1-2 http://www.springerlink.com/index/10.1007/s11225-005-0260-z http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#Hoehnke04 2005-04-21 Fragments of R-Mingle. 59-106 2004 78 Studia Logica 1-2 http://www.springerlink.com/index/10.1007/s11225-005-0106-8 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#BlokR04 2005-04-21 From the editors. 3-5 2004 78 Studia Logica 1-2 http://www.springerlink.com/index/10.1007/s11225-005-3005-0 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#AdamsADK04 2005-12-12 Quasivarieties of cancellative commutative binary modes. 321-335 2004 78 Studia Logica 1-2 http://www.springerlink.com/index/10.1007/s11225-005-1335-6 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#MatczakR04 2005-04-21 Implicit connectives of algebraizable logics. 155-170 2004 78 Studia Logica 1-2 http://www.springerlink.com/index/10.1007/s11225-005-5170-6 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#Caicedo04 2005-04-21 Finite quasivarieties and self-referential conditions. 337-348 2004 78 Studia Logica 1-2 http://www.springerlink.com/index/10.1007/s11225-005-7348-3 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#Vernitski04 2005-04-21 A non-finitely based quasi-variety of De Morgan algebras. 237-248 2004 78 Studia Logica 1-2 http://www.springerlink.com/index/10.1007/s11225-005-7248-6 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#GaitanP04 2005-04-21 On quasivarieties and varieties as categories. 7-33 2004 78 Studia Logica 1-2 http://www.springerlink.com/index/10.1007/s11225-005-7033-6 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#Adamek04 2005-04-21 Checking quasi-identities in a finite semigroup may be computationally hard. 349-356 2004 78 Studia Logica 1-2 http://www.springerlink.com/index/10.1007/s11225-005-0356-5 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#Volkov04 2005-04-21 Fregean logics with the multiterm deduction theorem and their algebraization. 171-212 2004 78 Studia Logica 1-2 http://www.springerlink.com/index/10.1007/s11225-005-1212-3 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#CzelakowskiP04 2005-09-28 <i>Q</i>-universality. 279-291 2004 78 Studia Logica 1-2 http://www.springerlink.com/index/10.1007/s11225-005-0291-5 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#KoubekS04 2005-04-21 Applications of Priestley duality in transferring optimal dualities. 213-236 2004 78 Studia Logica 1-2 http://www.springerlink.com/index/10.1007/s11225-005-3236-0 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#DaveyH04 2005-04-21 Open questions related to the problem of Birkhoff and Maltsev. 357-378 2004 78 Studia Logica 1-2 http://www.springerlink.com/index/10.1007/s11225-005-7378-x http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#AdamsADK04a 2006-01-12 On Ultrafilter Logic and Special Functions. 459-477 2004 78 Studia Logica 3 http://dx.doi.org/10.1007/s11225-004-6045-y http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#VelosoV04 2006-01-12 Book Review: Yves Nievergelt, Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Birkäuser Verlag, 2002, pp 480, ISBN 0-8176-4249-8. 479-481 2004 78 Studia Logica 3 http://dx.doi.org/10.1007/s11225-004-6046-x http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#Carnielli04 2006-01-12 Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic. 381-415 2004 78 Studia Logica 3 http://dx.doi.org/10.1007/s11225-004-6042-1 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#SchmidtTH04 2006-01-12 Negative Equivalence of Extensions of Minimal Logic. 417-442 2004 78 Studia Logica 3 http://dx.doi.org/10.1007/s11225-004-6043-0 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#Odintsov04a 2006-01-12 All Normal Extensions of S5-squared Are Finitely Axiomatizable. 443-457 2004 78 Studia Logica 3 http://dx.doi.org/10.1007/s11225-004-6044-z http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica78.html#BezhanishviliH04 2006-01-12 Alan: An Action Language For Modelling Non-Markovian Domains. 115-134 2005 79 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-0498-5 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica79.html#GonzalezBG05 2006-01-12 Events in Branching Time. 255-282 2005 79 Studia Logica 2 http://dx.doi.org/10.1007/s11225-005-2978-z http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica79.html#Wolfl05 2006-01-12 Belief Liberation (and Retraction). 47-72 2005 79 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-0494-9 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica79.html#BoothCGM05 2006-01-12 The Undecidability of Iterated Modal Relativization. 373-407 2005 79 Studia Logica 3 http://dx.doi.org/10.1007/s11225-005-3612-9 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica79.html#MillerM05 2006-01-12 Book Review: Igor Lavrov, Larisa Maksimova, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Kluwer Academic / Plenum Publishers, 2003, pp xii + 282, ISBN 0-306-47712-2. 409-410 2005 79 Studia Logica 3 http://dx.doi.org/10.1007/s11225-005-3613-8 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica79.html#Mendelson05 2006-01-12 Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions. 33-46 2005 79 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-0493-x http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica79.html#BaralT05 2006-01-12 Undecidability without Arithmetization. 163-230 2005 79 Studia Logica 2 http://dx.doi.org/10.1007/s11225-005-2976-1 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica79.html#Grzegorczyk05 2006-01-12 Distant Causation in C+. 73-96 2005 79 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-0495-8 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica79.html#CravenS05 2006-01-12 Reasoning about Sensing Actions in Domains with Multi-Valued Fluents. 135-160 2005 79 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-0499-4 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica79.html#SonTZ05 2006-01-12 Preface. 3-5 2005 79 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-0491-z http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica79.html#BrewkaP05 2006-01-12 The Structure of the Ordinals and the Interpretation of ZF in Double Extension Set Theory. 357-372 2005 79 Studia Logica 3 http://dx.doi.org/10.1007/s11225-005-3611-x http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica79.html#Holmes05 2006-01-12 *-autonomous Lattices. 283-304 2005 79 Studia Logica 2 http://dx.doi.org/10.1007/s11225-005-2979-y http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica79.html#Paoli05 2006-01-12 The Refined Extension Principle for Semantics of Dynamic Logic Programming. 7-32 2005 79 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-0492-y http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica79.html#AlferesBBL05 2006-01-12 Semantic Analysis of some Variants of Anderson-like Ontological Proofs. 317-355 2005 79 Studia Logica 3 http://dx.doi.org/10.1007/s11225-005-3610-y http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica79.html#Szatkowski05 2006-01-12 Fuzzy Logic Programming and Fuzzy Control. 231-254 2005 79 Studia Logica 2 http://dx.doi.org/10.1007/s11225-005-2977-0 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica79.html#Gerla05 2006-01-12 Gricean Belief Change. 97-113 2005 79 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-0496-7 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica79.html#DelgrandeNP05 2006-01-13 Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. 393-430 2005 80 Studia Logica 2-3 http://dx.doi.org/10.1007/s11225-005-8476-5 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica80.html#Vakarelov05 2006-01-13 A First Order Nonmonotonic Extension of Constructive Logic. 321-346 2005 80 Studia Logica 2-3 http://dx.doi.org/10.1007/s11225-005-8473-8 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica80.html#PearceV05 2006-01-13 From the Editors. 153-157 2005 80 Studia Logica 2-3 http://dx.doi.org/10.1007/s11225-005-8467-6 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica80.html#WansingOS05 2006-01-13 Double-Negation Elimination in Some Propositional Logics. 195-234 2005 80 Studia Logica 2-3 http://dx.doi.org/10.1007/s11225-005-8469-4 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica80.html#BeesonVW05 2006-01-13 A Non-deterministic View on Non-classical Negations. 159-194 2005 80 Studia Logica 2-3 http://dx.doi.org/10.1007/s11225-005-8468-5 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica80.html#Avron05 2006-01-13 First Order Theories for Partial Models. 105-120 2005 80 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-6779-1 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica80.html#StaruchS05 2006-01-13 Contracting Intuitionistic Theories. 369-391 2005 80 Studia Logica 2-3 http://dx.doi.org/10.1007/s11225-005-8475-6 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica80.html#Tennant05 2006-01-13 Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research. 347-367 2005 80 Studia Logica 2-3 http://dx.doi.org/10.1007/s11225-005-8474-7 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica80.html#Shramko05 2006-01-13 Some Properties of Orthologics. 75-93 2005 80 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-6777-3 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica80.html#Miyazaki05 2006-01-13 Gentzen-Type Methods for Bilattice Negation. 265-289 2005 80 Studia Logica 2-3 http://dx.doi.org/10.1007/s11225-005-8471-x http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica80.html#Kamide05 2006-01-13 The Shaping of Deduction in Greek Mathematics: A Study in Coginitive History. 143-147 2005 80 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-6781-7 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica80.html#Hoyrup05 2006-01-13 Under Carnap's Lamp: Flat Pre-semantics. 1-28 2005 80 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-6774-6 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica80.html#Belnap05 2006-01-13 Negation in the Context of Gaggle Theory. 235-264 2005 80 Studia Logica 2-3 http://dx.doi.org/10.1007/s11225-005-8470-y http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica80.html#DunnZ05 2006-01-13 Cardinality without Enumeration. 121-141 2005 80 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-6780-8 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica80.html#Tzouvaras05 2006-01-13 Socratic Proofs and Paraconsistency: A Case Study. 431-466 2005 80 Studia Logica 2-3 http://dx.doi.org/10.1007/s11225-005-8477-4 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica80.html#WisniewskiVL05 2006-01-13 On Revising Fuzzy Belief Bases. 29-61 2005 80 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-6775-5 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica80.html#BoothR05 2006-01-13 On Finite Models of the Lambek Calculus. 63-74 2005 80 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-6776-4 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica80.html#Farulewski05 2006-01-13 The Class of Extensions of Nelson's Paraconsistent Logic. 291-320 2005 80 Studia Logica 2-3 http://dx.doi.org/10.1007/s11225-005-8472-9 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica80.html#Odintsov05 2006-01-13 A Proof System for Classical Logic. 95-104 2005 80 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-6778-2 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica80.html#PogorzelskiW05 2006-01-13 Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions. 227-259 2005 81 Studia Logica 2 http://dx.doi.org/10.1007/s11225-005-3705-5 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica81.html#KustersM05 2006-01-13 Axiomatic Extensions of IMT3 Logic. 311-324 2005 81 Studia Logica 3 http://dx.doi.org/10.1007/s11225-005-4647-7 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica81.html#GispertT05 2006-01-13 Igor Lavrov and Larisa Maksimova, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Translated by Valentin Shehtman, Kluwer Academic/Plenum Publishers, New York, 2003, pp xi + 282, ISBN 0-306-47712-2. 283-292 2005 81 Studia Logica 2 http://dx.doi.org/10.1007/s11225-005-3707-3 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica81.html#Palka05 2006-01-13 Two notions of compactness in Gödel logics. 99-123 2005 81 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-2804-7 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica81.html#Cintula05 2006-01-13 Comparing Inductive and Circular Definitions: Parameters, Complexity and Games. 79-98 2005 81 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-2803-8 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica81.html#KuhnbergerLMW05 2006-01-13 Groups and Plane Geometry. 387-398 2005 81 Studia Logica 3 http://dx.doi.org/10.1007/s11225-005-4650-z http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica81.html#Pambuccian05 2006-01-13 All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete. 153-165 2005 81 Studia Logica 2 http://dx.doi.org/10.1007/s11225-005-3702-8 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica81.html#LitakW05 2006-01-13 On Modal Logics of Partial Recursive Functions. 295-309 2005 81 Studia Logica 3 http://dx.doi.org/10.1007/s11225-005-4646-8 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica81.html#Naumov05 2006-01-13 On the Predicate Logic of Linear Kripke Frames and some of its Extensions. 261-282 2005 81 Studia Logica 2 http://dx.doi.org/10.1007/s11225-005-3706-4 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica81.html#Skvortsov05 2006-01-13 On the Exclusivity Implicature of 'Or' or on the Meaning of Eating Strawberries. 19-24 2005 81 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-2767-8 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica81.html#VerhoevenH05 2006-01-27 <i>MV</i>-algebras. 123-144 2005 81 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-2805-6 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica81.html#BelluceGL05 2006-01-13 Thomas Foster, Logic, Induction and Sets, (London Mathematical Society Student Texts 56), Cambridge University Press, Cambridge 2003, X + 234 pp, ISBN 0 521 53361 9. 145-150 2005 81 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-2806-5 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica81.html#Wolenski05 2006-01-13 Lukasiewicz-Moisil Relation Algebras. 167-189 2005 81 Studia Logica 2 http://dx.doi.org/10.1007/s11225-005-3703-7 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica81.html#Popescu05 2006-01-13 Frames and MV-algebras. 357-385 2005 81 Studia Logica 3 http://dx.doi.org/10.1007/s11225-005-4649-5 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica81.html#BelluceN05 2006-01-13 An Exactification of the Monoid of Primitive Recursive Functions. 1-18 2005 81 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-2765-x http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica81.html#LambekS05 2006-01-13 On Amalgamation in Algebras of Logic. 61-77 2005 81 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-2802-9 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica81.html#Ahmed05 2006-01-13 The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms. 43-50 2005 81 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-2801-x http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica81.html#Bulinska05 2006-01-13 <i>LC</i>with Fixed Point Combinator. 399-423 2005 81 Studia Logica 3 http://dx.doi.org/10.1007/s11225-005-4651-y http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica81.html#Bimbo05 2006-01-13 Melvin Fitting, Types Tableaus and Gödel's God. 425-427 2005 81 Studia Logica 3 http://dx.doi.org/10.1007/s11225-005-4652-x http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica81.html#Girle05 2006-01-13 Some Results on Modal Axiomatization and Definability for Topological Spaces. 325-355 2005 81 Studia Logica 3 http://dx.doi.org/10.1007/s11225-005-4648-6 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica81.html#BezhanishviliEG05 2006-01-13 Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere. 191-226 2005 81 Studia Logica 2 http://dx.doi.org/10.1007/s11225-005-3704-6 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica81.html#Brauner05 2006-07-11 Quantification over Sets of Possible Worlds in Branching-Time Semantics. 379-400 2006 82 Studia Logica 3 http://dx.doi.org/10.1007/s11225-006-8104-z http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica82.html#Zanardo06 2006-07-11 MV-Algebras and Quantum Computation. 245-270 2006 82 Studia Logica 2 http://dx.doi.org/10.1007/s11225-006-7202-2 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica82.html#LeddaKPG06 2006-07-11 Cut Elimination inside a Deep Inference System for Classical Predicate Logic. 51-71 2006 82 Studia Logica 1 http://dx.doi.org/10.1007/s11225-006-6605-4 http://www.informatik.uni-trier.de/~ley/db/journals/sLogica/sLogica82.html#Brunnler06 2006-07-11