![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/igpl/igpl12.bht:"
@article{DBLP:journals/igpl/BaratellaM04, author = {Stefano Baratella and Andrea Masini}, title = {A Way of Making World Quantification Explicit}, journal = {Log. J. {IGPL}}, volume = {12}, number = {3}, pages = {199--225}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.3.199}, doi = {10.1093/JIGPAL/12.3.199}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/BaratellaM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/BrunnerM04, author = {Andreas Bernhard Michael Brunner and Francisco Miraglia}, title = {An Omitting Types Theorem for Sheaves over Topological Spaces}, journal = {Log. J. {IGPL}}, volume = {12}, number = {6}, pages = {525--548}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.6.525}, doi = {10.1093/JIGPAL/12.6.525}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/BrunnerM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/BruzaSM04, author = {Peter Bruza and Dawei Song and Robert McArthur}, title = {Abduction in Semantic Space: Towards a Logic of Discovery}, journal = {Log. J. {IGPL}}, volume = {12}, number = {2}, pages = {97--109}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.2.97}, doi = {10.1093/JIGPAL/12.2.97}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/igpl/BruzaSM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/CarnielliCD04, author = {Walter Alexandre Carnielli and Marcelo E. Coniglio and Itala M. Loffredo D'Ottaviano}, title = {Editorial}, journal = {Log. J. {IGPL}}, volume = {12}, number = {6}, pages = {431--437}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.6.431}, doi = {10.1093/JIGPAL/12.6.431}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/CarnielliCD04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/Crabbe04, author = {Marcel Crabb{\'{e}}}, title = {On the Notion of Substitution}, journal = {Log. J. {IGPL}}, volume = {12}, number = {2}, pages = {111--124}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.2.111}, doi = {10.1093/JIGPAL/12.2.111}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/Crabbe04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/Figallo04, author = {Mart{\'{\i}}n Figallo}, title = {Finite Diagonal-free Two-dimensional Cylindric Algebras}, journal = {Log. J. {IGPL}}, volume = {12}, number = {6}, pages = {509--523}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.6.509}, doi = {10.1093/JIGPAL/12.6.509}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/Figallo04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/FigalloLZ04, author = {Aldo V. Figallo and Paolo Landini and Alicia Ziliani}, title = {Ockham Algebras with Additional Operators}, journal = {Log. J. {IGPL}}, volume = {12}, number = {6}, pages = {447--459}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.6.447}, doi = {10.1093/JIGPAL/12.6.447}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/FigalloLZ04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/FoxL04, author = {Chris Fox and Shalom Lappin}, title = {An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics}, journal = {Log. J. {IGPL}}, volume = {12}, number = {2}, pages = {135--168}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.2.135}, doi = {10.1093/JIGPAL/12.2.135}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/FoxL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/Heinemann04, author = {Bernhard Heinemann}, title = {The Hybrid Logic of Linear Set Spaces}, journal = {Log. J. {IGPL}}, volume = {12}, number = {3}, pages = {181--198}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.3.181}, doi = {10.1093/JIGPAL/12.3.181}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/Heinemann04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/LewinSM04, author = {Renato A. Lewin and Marta Sagastume and Pedro Massey}, title = {\emph{MV}\({}^{\mbox{*}}\) - Algebras}, journal = {Log. J. {IGPL}}, volume = {12}, number = {6}, pages = {461--483}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.6.461}, doi = {10.1093/JIGPAL/12.6.461}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/LewinSM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/LewinSM04a, author = {Renato A. Lewin and Marta Sagastume and Pedro Massey}, title = {Chang's L(stroke)\({}^{\mbox{*}}\) Logic}, journal = {Log. J. {IGPL}}, volume = {12}, number = {6}, pages = {485--497}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.6.485}, doi = {10.1093/JIGPAL/12.6.485}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/LewinSM04a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/MartinsM04, author = {L{\'{\i}}lia Ramalho Martins and Ana Teresa C. Martins}, title = {Natural Deduction and Weak Normalization for Full Linear Logic}, journal = {Log. J. {IGPL}}, volume = {12}, number = {6}, pages = {601--625}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.6.601}, doi = {10.1093/JIGPAL/12.6.601}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/MartinsM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/MateusSSV04, author = {Paulo Mateus and Am{\'{\i}}lcar Sernadas and Cristina Sernadas and Luca Vigan{\`{o}}}, title = {Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity}, journal = {Log. J. {IGPL}}, volume = {12}, number = {3}, pages = {227--274}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.3.227}, doi = {10.1093/JIGPAL/12.3.227}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/MateusSSV04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/Pallares04, author = {Mar{\'{\i}}a Fernanda Pallares}, title = {Extending the First Gentzen's Consistency Proof to the Intuitionistic Case}, journal = {Log. J. {IGPL}}, volume = {12}, number = {6}, pages = {549--560}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.6.549}, doi = {10.1093/JIGPAL/12.6.549}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/Pallares04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/Paris04, author = {Jeff B. Paris}, title = {Deriving Information from Inconsistent Knowledge Bases: {A} Completeness Theorem for \({}^{\mbox{eta}}\)triangel right\({}_{\mbox{eta}}\)}, journal = {Log. J. {IGPL}}, volume = {12}, number = {5}, pages = {345--353}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.5.345}, doi = {10.1093/JIGPAL/12.5.345}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/Paris04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/Pizzi04, author = {Claudio E. A. Pizzi}, title = {Contenability and the Logic of Consequential Implication}, journal = {Log. J. {IGPL}}, volume = {12}, number = {6}, pages = {561--579}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.6.561}, doi = {10.1093/JIGPAL/12.6.561}, timestamp = {Mon, 26 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/igpl/Pizzi04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/Pourmahdian04, author = {Massoud Pourmahdian}, title = {The Stable Forking Conjecture in Homogeneous Model Theory}, journal = {Log. J. {IGPL}}, volume = {12}, number = {3}, pages = {171--180}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.3.171}, doi = {10.1093/JIGPAL/12.3.171}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/Pourmahdian04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/Rabinovich04, author = {Alexander Moshe Rabinovich}, title = {Selection and Uniformization in Generalized Product}, journal = {Log. J. {IGPL}}, volume = {12}, number = {2}, pages = {125--134}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.2.125}, doi = {10.1093/JIGPAL/12.2.125}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/Rabinovich04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/RayBR04, author = {Oliver Ray and Krysia Broda and Alessandra Russo}, title = {A Hybrid Abductive Inductive Proof Procedure}, journal = {Log. J. {IGPL}}, volume = {12}, number = {5}, pages = {371--397}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.5.371}, doi = {10.1093/JIGPAL/12.5.371}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/RayBR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/Rybakov04, author = {Vladimir V. Rybakov}, title = {Tabular Logics with no Finite Bases for Inference Rules}, journal = {Log. J. {IGPL}}, volume = {12}, number = {4}, pages = {301--311}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.4.301}, doi = {10.1093/JIGPAL/12.4.301}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/Rybakov04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/Sanz04, author = {Wagner de Campos Sanz}, title = {Relating Intuitionist Negation and Triviality}, journal = {Log. J. {IGPL}}, volume = {12}, number = {6}, pages = {581--599}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.6.581}, doi = {10.1093/JIGPAL/12.6.581}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/Sanz04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/Sanza04, author = {Claudia Sanza}, title = {Notes on \emph{n} x \emph{m}-valued Lukasiewicz Algebras with Negation}, journal = {Log. J. {IGPL}}, volume = {12}, number = {6}, pages = {499--507}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.6.499}, doi = {10.1093/JIGPAL/12.6.499}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/Sanza04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/Smullyan04, author = {Raymond M. Smullyan}, title = {An Isomorphism Related to G{\"{o}}del's Fundamental Operations}, journal = {Log. J. {IGPL}}, volume = {12}, number = {6}, pages = {439--445}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.6.439}, doi = {10.1093/JIGPAL/12.6.439}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/Smullyan04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/VelosoV04, author = {Paulo A. S. Veloso and Sheila R. M. Veloso}, title = {Functional Interpretation of Logics for 'Generally'}, journal = {Log. J. {IGPL}}, volume = {12}, number = {6}, pages = {627--640}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.6.627}, doi = {10.1093/JIGPAL/12.6.627}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/VelosoV04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/Vermeulen04, author = {C. F. M. Vermeulen}, title = {Axiomatization of a Denotational Semantics for First-order Logic}, journal = {Log. J. {IGPL}}, volume = {12}, number = {4}, pages = {277--299}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.4.277}, doi = {10.1093/JIGPAL/12.4.277}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/Vermeulen04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/Voutsadakis04, author = {George Voutsadakis}, title = {Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic}, journal = {Log. J. {IGPL}}, volume = {12}, number = {4}, pages = {313--333}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.4.313}, doi = {10.1093/JIGPAL/12.4.313}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/Voutsadakis04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/Wirth04, author = {Claus{-}Peter Wirth}, title = {Descente Infinie + Deduction}, journal = {Log. J. {IGPL}}, volume = {12}, number = {1}, pages = {1--96}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.1.1}, doi = {10.1093/JIGPAL/12.1.1}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/Wirth04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/Wolenski04, author = {Jan Wolenski}, title = {Polish Logic}, journal = {Log. J. {IGPL}}, volume = {12}, number = {5}, pages = {399--428}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.5.399}, doi = {10.1093/JIGPAL/12.5.399}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/Wolenski04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/Yang04, author = {Eunsuk Yang}, title = {Routely-Meyer Semantics for some weak Boolean Logics, and some Translations}, journal = {Log. J. {IGPL}}, volume = {12}, number = {5}, pages = {355--369}, year = {2004}, url = {https://doi.org/10.1093/jigpal/12.5.355}, doi = {10.1093/JIGPAL/12.5.355}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/Yang04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.