:facetid:toc:\"db/journals/igpl/igpl5.bht\"OK:facetid:toc:db/journals/igpl/igpl5.bhtArnon AvronMultiplicative Conjunction as an Extensional Conjunction.Log. J. IGPL52181-2081997Journal Articlesclosedjournals/igpl/Avron9710.1093/JIGPAL/5.2.181https://doi.org/10.1093/jigpal/5.2.181https://dblp.org/rec/journals/igpl/Avron97URL#6626602Johan van BenthemModal Foundations for Predicate Logic.Log. J. IGPL52259-2861997Journal Articlesclosedjournals/igpl/Benthem9710.1093/JIGPAL/5.2.259https://doi.org/10.1093/jigpal/5.2.259https://dblp.org/rec/journals/igpl/Benthem97URL#6626603Andreas BlassSome Semantical Aspects of Linear Logic.Log. J. IGPL54487-5031997Journal Articlesclosedjournals/igpl/Blass9710.1093/JIGPAL/5.4.487https://doi.org/10.1093/jigpal/5.4.487https://dblp.org/rec/journals/igpl/Blass97URL#6626604Serenella CerritoMarta Cialdea MayerA Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4.Log. J. IGPL52287-3001997Journal Articlesclosedjournals/igpl/CerritoM9710.1093/JIGPAL/5.2.287https://doi.org/10.1093/jigpal/5.2.287https://dblp.org/rec/journals/igpl/CerritoM97URL#6626605Itala M. Loffredo D'OttavianoWalter Alexandre CarnielliAntonio Mario SetteMichael B. WrigleyXI Brazilian Conference on Mathematical Logic.Log. J. IGPL531-381997Journal Articlesclosedjournals/igpl/DOttavianoCSW9710.1093/JIGPAL/5.3.1-Fhttps://doi.org/10.1093/jigpal/5.3.1-fhttps://dblp.org/rec/journals/igpl/DOttavianoCSW97URL#6626606J. Michael DunnRobert K. MeyerCombinators and Structurally Free Logic.Log. J. IGPL54505-5371997Journal Articlesclosedjournals/igpl/DunnM9710.1093/JIGPAL/5.4.505https://doi.org/10.1093/jigpal/5.4.505https://dblp.org/rec/journals/igpl/DunnM97URL#6626607Jan van EijckTyped Logics With States.Log. J. IGPL55623-6451997Journal Articlesclosedjournals/igpl/Eijck9710.1093/JIGPAL/5.5.623https://doi.org/10.1093/jigpal/5.5.623https://dblp.org/rec/journals/igpl/Eijck97URL#6626608Marcelo FingerRodger KibbleDov M. GabbayRuth KempsonParsing Natural Language using LDS: A Prototype.Log. J. IGPL55647-6711997Journal Articlesclosedjournals/igpl/FingerKGK9710.1093/JIGPAL/5.5.647https://doi.org/10.1093/jigpal/5.5.647https://dblp.org/rec/journals/igpl/FingerKGK97URL#6626609Peter A. FlachAntonis C. KakasAbductive and Inductive Reasoning: Report of the ECAI'96 Workshop.Log. J. IGPL55773-7781997Journal Articlesclosedjournals/igpl/FlachK9710.1093/JIGPAL/5.5.773https://doi.org/10.1093/jigpal/5.5.773https://dblp.org/rec/journals/igpl/FlachK97URL#6626610Josep Maria FontBelnap's Four-Valued Logic and De Morgan Lattices.Log. J. IGPL531-291997Journal Articlesclosedjournals/igpl/Font9710.1093/JIGPAL/5.3.1-Ehttps://doi.org/10.1093/jigpal/5.3.1-ehttps://dblp.org/rec/journals/igpl/Font97URL#6626611Marcelo F. FriasArmando Martin HaebererPaulo A. S. VelosoA Finite Axiomatization for Fork Algebras.Log. J. IGPL531-101997Journal Articlesclosedjournals/igpl/FriasHV9710.1093/JIGPAL/5.3.1https://doi.org/10.1093/jigpal/5.3.1https://dblp.org/rec/journals/igpl/FriasHV97URL#6626612Antony GaltonReview of D. M. Gabbay et al., Temporal Logic: Mathematical Foundations and Computational Aspects.Log. J. IGPL56853-8571997Journal Articlesclosedjournals/igpl/Galton9710.1093/JIGPAL/5.6.853https://doi.org/10.1093/jigpal/5.6.853https://dblp.org/rec/journals/igpl/Galton97URL#6626613Michael GavrilovichA Lower Bound for Interpolation.Log. J. IGPL531-61997Journal Articlesclosedjournals/igpl/Gavrilovich9710.1093/JIGPAL/5.3.1-Ahttps://doi.org/10.1093/jigpal/5.3.1-ahttps://dblp.org/rec/journals/igpl/Gavrilovich97URL#6626614Chrysafis HartonasPretopology Semantics for Bimodal Intuitionistic Linear Logic.Log. J. IGPL5165-781997Journal Articlesclosedjournals/igpl/Hartonas9710.1093/JIGPAL/5.1.65https://doi.org/10.1093/jigpal/5.1.65https://dblp.org/rec/journals/igpl/Hartonas97URL#6626615Alain HeuerdingLWBtheory: Information about some Propositional Logics via the WWW.Log. J. IGPL51169-1741997Journal Articlesclosedjournals/igpl/Heuerding9710.1093/JIGPAL/5.1.169https://doi.org/10.1093/jigpal/5.1.169https://dblp.org/rec/journals/igpl/Heuerding97URL#6626616Robin HirschIan M. HodkinsonAxiomatising Various Classes of Relation and Cylindric Algebras.Log. J. IGPL52209-2291997Journal Articlesclosedjournals/igpl/HirschH9710.1093/JIGPAL/5.2.209https://doi.org/10.1093/jigpal/5.2.209https://dblp.org/rec/journals/igpl/HirschH97URL#6626617Wilfrid HodgesCompositional Semantics for a Language of Imperfect Information.Log. J. IGPL54539-5631997Journal Articlesclosedjournals/igpl/Hodges9710.1093/JIGPAL/5.4.539https://doi.org/10.1093/jigpal/5.4.539https://dblp.org/rec/journals/igpl/Hodges97URL#6626618Alan HutchinsonFirst Order Meta Theories.Log. J. IGPL5197-1441997Journal Articlesclosedjournals/igpl/Hutchinson9710.1093/JIGPAL/5.1.97https://doi.org/10.1093/jigpal/5.1.97https://dblp.org/rec/journals/igpl/Hutchinson97URL#6626619Peter JipsenRoger D. MadduxNonrepresentable Sequential Algebras.Log. J. IGPL54565-5741997Journal Articlesclosedjournals/igpl/JipsenM9710.1093/JIGPAL/5.4.565https://doi.org/10.1093/jigpal/5.4.565https://dblp.org/rec/journals/igpl/JipsenM97URL#6626620Roman KossakAutomorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets.Log. J. IGPL56787-7941997Journal Articlesclosedjournals/igpl/Kossak9710.1093/JIGPAL/5.6.787https://doi.org/10.1093/jigpal/5.6.787https://dblp.org/rec/journals/igpl/Kossak97URL#6626621Décio KrauseJean-Yves BéziauRelativizations of the Principle of Identity.Log. J. IGPL531-121997Journal Articlesclosedjournals/igpl/KrauseB9710.1093/JIGPAL/5.3.1-Bhttps://doi.org/10.1093/jigpal/5.3.1-bhttps://dblp.org/rec/journals/igpl/KrauseB97URL#6626622Wendy MacCaullRelational Proof System for Linear and Other Substructural Logics.Log. J. IGPL55673-6971997Journal Articlesclosedjournals/igpl/MacCaull9710.1093/JIGPAL/5.5.673https://doi.org/10.1093/jigpal/5.5.673https://dblp.org/rec/journals/igpl/MacCaull97URL#6626623Pierangelo MiglioliUgo MoscatoMario OrnaghiAvoiding duplications in tableau systems for intuitionistic logic and Kuroda logic.Log. J. IGPL51145-1671997Journal Articlesclosedjournals/igpl/MiglioliMO9710.1093/JIGPAL/5.1.145https://doi.org/10.1093/jigpal/5.1.145https://dblp.org/rec/journals/igpl/MiglioliMO97URL#6626624William P. R. MitchellThe Carcinogenic Example.Log. J. IGPL56795-8101997Journal Articlesclosedjournals/igpl/Mitchell9710.1093/JIGPAL/5.6.795https://doi.org/10.1093/jigpal/5.6.795https://dblp.org/rec/journals/igpl/Mitchell97URL#6626625Lawrence S. MossNorman DannerOn the Foundations of Corecursion.Log. J. IGPL52231-2571997Journal Articlesclosedjournals/igpl/MossD9710.1093/JIGPAL/5.2.231https://doi.org/10.1093/jigpal/5.2.231https://dblp.org/rec/journals/igpl/MossD97URL#6626626István NémetiStrong Representability of Fork Algebras, a Set Theoretic Foundation.Log. J. IGPL513-231997Journal Articlesclosedjournals/igpl/Nemeti9710.1093/JIGPAL/5.1.3https://doi.org/10.1093/jigpal/5.1.3https://dblp.org/rec/journals/igpl/Nemeti97URL#6626627István NémetiAndrás SimonRelation Algebras from Cylindric and Polyadic Algebras.Log. J. IGPL54575-5881997Journal Articlesclosedjournals/igpl/NemetiS9710.1093/JIGPAL/5.4.575https://doi.org/10.1093/jigpal/5.4.575https://dblp.org/rec/journals/igpl/NemetiS97URL#6626628Patricia PerattoWell-founded Relations in Type Theory.Log. J. IGPL56811-8521997Journal Articlesclosedjournals/igpl/Peratto9710.1093/JIGPAL/5.6.811https://doi.org/10.1093/jigpal/5.6.811https://dblp.org/rec/journals/igpl/Peratto97URL#6626629Andrew M. PittsA Note on Logical Relations Between Semantics and Syntax.Log. J. IGPL54589-6011997Journal Articlesclosedjournals/igpl/Pitts9710.1093/JIGPAL/5.4.589https://doi.org/10.1093/jigpal/5.4.589https://dblp.org/rec/journals/igpl/Pitts97URL#6626630Ruy J. G. B. de QueirozFourth Workshop on Logic, Language, Information and Computation (WoLLIC'97).Log. J. IGPL56859-9271997Journal Articlesclosedjournals/igpl/Queiroz9710.1093/JIGPAL/5.6.859https://doi.org/10.1093/jigpal/5.6.859https://dblp.org/rec/journals/igpl/Queiroz97URL#6626631Gilles RichardFrédéric SaubionAnswer Synthesis for CLP Programs with Negation.Log. J. IGPL531-361997Journal Articlesclosedjournals/igpl/RichardS9710.1093/JIGPAL/5.3.1-Chttps://doi.org/10.1093/jigpal/5.3.1-chttps://dblp.org/rec/journals/igpl/RichardS97URL#6626632Ildikó SainViktor GyurisFinite Schematizable Algebraic Logic.Log. J. IGPL55699-7511997Journal Articlesclosedjournals/igpl/SainG9710.1093/JIGPAL/5.5.699https://doi.org/10.1093/jigpal/5.5.699https://dblp.org/rec/journals/igpl/SainG97URL#6626633Gabriel SanduThe Logic of Informational Independence and Finite Models.Log. J. IGPL5179-951997Journal Articlesclosedjournals/igpl/Sandu9710.1093/JIGPAL/5.1.79https://doi.org/10.1093/jigpal/5.1.79https://dblp.org/rec/journals/igpl/Sandu97URL#6626634James T. SasakiA Type Theory with Mixed Constructivity and Assignments.Log. J. IGPL531-371997Journal Articlesclosedjournals/igpl/Sasaki9710.1093/JIGPAL/5.3.1-Dhttps://doi.org/10.1093/jigpal/5.3.1-dhttps://dblp.org/rec/journals/igpl/Sasaki97URL#6626635Karl SchlechtaA Reduction of the Theory of Confirmation to the Notions of Distance and Measure.Log. J. IGPL5149-641997Journal Articlesclosedjournals/igpl/Schlechta9710.1093/JIGPAL/5.1.49https://doi.org/10.1093/jigpal/5.1.49https://dblp.org/rec/journals/igpl/Schlechta97URL#6626636Karl SchlechtaFilters and Partial Orders.Log. J. IGPL55753-7721997Journal Articlesclosedjournals/igpl/Schlechta97a10.1093/JIGPAL/5.5.753https://doi.org/10.1093/jigpal/5.5.753https://dblp.org/rec/journals/igpl/Schlechta97aURL#6626637György SerénySaturatedness in Cylindric Algebraic Model Theory.Log. J. IGPL5125-481997Journal Articlesclosedjournals/igpl/Sereny9710.1093/JIGPAL/5.1.25https://doi.org/10.1093/jigpal/5.1.25https://dblp.org/rec/journals/igpl/Sereny97URL#6626638Alasdair UrquhartReview: Feasible Mathematics II.Log. J. IGPL52301-3021997Journal Articlesclosedjournals/igpl/Urquhart9710.1093/JIGPAL/5.2.301https://doi.org/10.1093/jigpal/5.2.301https://dblp.org/rec/journals/igpl/Urquhart97URL#6626639Douglas WaltonHow can logic best be applied to arguments?Log. J. IGPL54603-6141997Journal Articlesclosedjournals/igpl/Walton9710.1093/JIGPAL/5.4.603https://doi.org/10.1093/jigpal/5.4.603https://dblp.org/rec/journals/igpl/Walton97URL#6626640