Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/igpl/igpl12.bht:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-09-03 18:22 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
