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/igpl15.bht:"
download as .bib file
@article{DBLP:journals/igpl/Ahmed07,
author = {Tarek Sayed Ahmed},
title = {An Interpolation Theorem for First Order Logic with Infinitary Predicates},
journal = {Log. J. {IGPL}},
volume = {15},
number = {1},
pages = {21--32},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzl030},
doi = {10.1093/JIGPAL/JZL030},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Ahmed07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Ahmed07a,
author = {Tarek Sayed Ahmed},
title = {On Neat Reducts and Amalgamation},
journal = {Log. J. {IGPL}},
volume = {15},
number = {1},
pages = {33--39},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzl031},
doi = {10.1093/JIGPAL/JZL031},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Ahmed07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AhmedS07,
author = {Tarek Sayed Ahmed and
Basim Samir},
title = {A Neat Embedding Theorem for Expansions of Cylindric Algebras},
journal = {Log. J. {IGPL}},
volume = {15},
number = {1},
pages = {41--51},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzl032},
doi = {10.1093/JIGPAL/JZL032},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/AhmedS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Alonderis07,
author = {Romas Alonderis},
title = {Glivenko Classes of Sequents for Propositional Star-Free Likelihood
Logic},
journal = {Log. J. {IGPL}},
volume = {15},
number = {1},
pages = {1--19},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzl013},
doi = {10.1093/JIGPAL/JZL013},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Alonderis07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AmaralH07,
author = {Fernando N{\'{a}}ufel do Amaral and
Edward Hermann Haeusler},
title = {Using the Internal Logic of a Topos to Model Search Spaces for Problems},
journal = {Log. J. {IGPL}},
volume = {15},
number = {5-6},
pages = {457--474},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm035},
doi = {10.1093/JIGPAL/JZM035},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/AmaralH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ArbiserKR07,
author = {Ariel Arbiser and
Fairouz Kamareddine and
Alejandro R{\'{\i}}os},
title = {The Weak Normalization of the Simply Typed lambda-\emph{s\({}_{\mbox{e}}\)}-calculus},
journal = {Log. J. {IGPL}},
volume = {15},
number = {2},
pages = {121--147},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm003},
doi = {10.1093/JIGPAL/JZM003},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/ArbiserKR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Bohorquez07,
author = {Jaime Alejandro Boh{\'{o}}rquez},
title = {An Inductive Theorem on the Correctness of General Recursive Programs},
journal = {Log. J. {IGPL}},
volume = {15},
number = {5-6},
pages = {373--399},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm053},
doi = {10.1093/JIGPAL/JZM053},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Bohorquez07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BorgesS07,
author = {Wagner Borges and
Julio Michael Stern},
title = {The Rules of Logic Composition for the Bayesian Epistemic e-Values},
journal = {Log. J. {IGPL}},
volume = {15},
number = {5-6},
pages = {401--420},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm032},
doi = {10.1093/JIGPAL/JZM032},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BorgesS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BrodaMSS07,
author = {Krysia Broda and
Jiefei Ma and
Gabrielle Sinnadurai and
Alexander J. Summers},
title = {Pandora: {A} Reasoning Toolbox using Natural Deduction Style},
journal = {Log. J. {IGPL}},
volume = {15},
number = {4},
pages = {293--304},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm020},
doi = {10.1093/JIGPAL/JZM020},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BrodaMSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CalardoR07,
author = {Erica Calardo and
Vladimir V. Rybakov},
title = {An Axiomatisation for the Multi-modal Logic of Knowledge and Linear
Time {LTK}},
journal = {Log. J. {IGPL}},
volume = {15},
number = {3},
pages = {239--254},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm010},
doi = {10.1093/JIGPAL/JZM010},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CalardoR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CostaK07,
author = {Newton C. A. da Costa and
D{\'{e}}cio Krause},
title = {Logical and Philosophical Remarks on Quasi-Set Theory},
journal = {Log. J. {IGPL}},
volume = {15},
number = {5-6},
pages = {421--431},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm033},
doi = {10.1093/JIGPAL/JZM033},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CostaK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/DitmarschM07,
author = {Hans P. van Ditmarsch and
Mar{\'{\i}}a Manzano},
title = {Editorial "Tools for Teaching Logic"},
journal = {Log. J. {IGPL}},
volume = {15},
number = {4},
pages = {289--292},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm019},
doi = {10.1093/JIGPAL/JZM019},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/DitmarschM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Doria07,
author = {Francisco A. Doria},
title = {Fast-Growing Functions and the \emph{P vs. NP} Question},
journal = {Log. J. {IGPL}},
volume = {15},
number = {5-6},
pages = {445--455},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm034},
doi = {10.1093/JIGPAL/JZM034},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Doria07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/DostalovaL07,
author = {Ludmila Dost{\'{a}}lov{\'{a}} and
Jaroslav Lang},
title = {{ORGANON} - The Web Tutor for Basic Logic Courses},
journal = {Log. J. {IGPL}},
volume = {15},
number = {4},
pages = {305--311},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm021},
doi = {10.1093/JIGPAL/JZM021},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/DostalovaL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Duque07,
author = {David Fern{\'{a}}ndez{-}Duque},
title = {Dynamic Topological Completeness for R\({}^{\mbox{2}}\)},
journal = {Log. J. {IGPL}},
volume = {15},
number = {1},
pages = {77--107},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzl036},
doi = {10.1093/JIGPAL/JZL036},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Duque07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ErtolaGS07,
author = {Rodolfo C. Ertola and
Adriana Galli and
Marta Sagastume},
title = {Compatible Functions in Algebras Associated to Extensions of Positive
Logic},
journal = {Log. J. {IGPL}},
volume = {15},
number = {1},
pages = {109--119},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzl037},
doi = {10.1093/JIGPAL/JZL037},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/ErtolaGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Ferenczi07,
author = {Mikl{\'{o}}s Ferenczi},
title = {On Cylindric Algebras Satisfying Merry-go-round Properties},
journal = {Log. J. {IGPL}},
volume = {15},
number = {2},
pages = {183--197},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm006},
doi = {10.1093/JIGPAL/JZM006},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Ferenczi07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FernandezC07,
author = {V{\'{\i}}ctor L. Fern{\'{a}}ndez and
Marcelo E. Coniglio},
title = {Fibring in the Leibniz Hierarchy},
journal = {Log. J. {IGPL}},
volume = {15},
number = {5-6},
pages = {475--501},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm036},
doi = {10.1093/JIGPAL/JZM036},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FernandezC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FerreiraM07,
author = {Francicleber Martins Ferreira and
Ana Teresa C. Martins},
title = {On Minimal Models},
journal = {Log. J. {IGPL}},
volume = {15},
number = {5-6},
pages = {503--526},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm037},
doi = {10.1093/JIGPAL/JZM037},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FerreiraM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Figallo07,
author = {Aldo Figallo Jr.},
title = {Pure Hilbert Algebras with Infimum},
journal = {Log. J. {IGPL}},
volume = {15},
number = {5-6},
pages = {527--533},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm038},
doi = {10.1093/JIGPAL/JZM038},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Figallo07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FigalloPZ07,
author = {Aldo V. Figallo and
In{\'{e}}s Pascual and
Alicia Ziliani},
title = {Monadic Distributive Lattices},
journal = {Log. J. {IGPL}},
volume = {15},
number = {5-6},
pages = {535--551},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm039},
doi = {10.1093/JIGPAL/JZM039},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FigalloPZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FingerG07,
author = {Marcelo Finger and
Dov M. Gabbay},
title = {Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based
Proofs},
journal = {Log. J. {IGPL}},
volume = {15},
number = {5-6},
pages = {553--575},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm040},
doi = {10.1093/JIGPAL/JZM040},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FingerG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FreitasVVV07,
author = {Renata P. de Freitas and
Paulo A. S. Veloso and
Sheila R. M. Veloso and
Jorge Petrucio Viana},
title = {On Positive Relational Calculi},
journal = {Log. J. {IGPL}},
volume = {15},
number = {5-6},
pages = {577--601},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm054},
doi = {10.1093/JIGPAL/JZM054},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FreitasVVV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Gomez07,
author = {Susana G{\'{o}}mez},
title = {Language and Logical Pluralism: Some Aspects of a Wittgensteinian
Perspective on the Nature of Logic},
journal = {Log. J. {IGPL}},
volume = {15},
number = {5-6},
pages = {603--619},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm041},
doi = {10.1093/JIGPAL/JZM041},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Gomez07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GorankoZ07,
author = {Valentin Goranko and
Alberto Zanardo},
title = {From Linear to Branching-Time Temporal Logics: Transfer of Semantics
and Definability},
journal = {Log. J. {IGPL}},
volume = {15},
number = {1},
pages = {53--76},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzl035},
doi = {10.1093/JIGPAL/JZL035},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GorankoZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Haddock07,
author = {Guillermo E. Rosado Haddock},
title = {Why and How Platonism?},
journal = {Log. J. {IGPL}},
volume = {15},
number = {5-6},
pages = {621--636},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm042},
doi = {10.1093/JIGPAL/JZM042},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Haddock07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/HarrissH07,
author = {Edmund Harriss and
Wilfrid Hodges},
title = {Logic for Mathematical Writing},
journal = {Log. J. {IGPL}},
volume = {15},
number = {4},
pages = {313--320},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm022},
doi = {10.1093/JIGPAL/JZM022},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/HarrissH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Huertas07,
author = {Antonia Huertas},
title = {Teaching and Learning Logic in a Virtual Learning Environment},
journal = {Log. J. {IGPL}},
volume = {15},
number = {4},
pages = {321--331},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm023},
doi = {10.1093/JIGPAL/JZM023},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Huertas07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/HumberstoneM07,
author = {Lloyd Humberstone and
Robert K. Meyer},
title = {The Relevant Equivalence Property},
journal = {Log. J. {IGPL}},
volume = {15},
number = {2},
pages = {165--181},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm005},
doi = {10.1093/JIGPAL/JZM005},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/HumberstoneM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Iacona07,
author = {Andrea Iacona},
title = {Not Everything is Possible},
journal = {Log. J. {IGPL}},
volume = {15},
number = {3},
pages = {233--237},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm009},
doi = {10.1093/JIGPAL/JZM009},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Iacona07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/IshigakiK07,
author = {Ryo Ishigaki and
Kentaro Kikuchi},
title = {A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's
Propositional Logic},
journal = {Log. J. {IGPL}},
volume = {15},
number = {2},
pages = {149--164},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm004},
doi = {10.1093/JIGPAL/JZM004},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/IshigakiK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/JunqueiraLP07,
author = {L{\'{u}}cia R. Junqueira and
Paul B. Larson and
Marcelo D. Passos},
title = {On Extensions of Elementary Submodels by \emph{Forcing}},
journal = {Log. J. {IGPL}},
volume = {15},
number = {5-6},
pages = {637--651},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm043},
doi = {10.1093/JIGPAL/JZM043},
timestamp = {Wed, 17 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/JunqueiraLP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Kellerman07,
author = {Ruaan Kellerman},
title = {First-Order Theories of Orthogonality Structures},
journal = {Log. J. {IGPL}},
volume = {15},
number = {3},
pages = {255--270},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm011},
doi = {10.1093/JIGPAL/JZM011},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/Kellerman07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/KrynickiT07,
author = {Michal Krynicki and
Jose Maria Turull Torres},
title = {Games on Trees and Syntactical Complexity of Formulas},
journal = {Log. J. {IGPL}},
volume = {15},
number = {5-6},
pages = {653--687},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm051},
doi = {10.1093/JIGPAL/JZM051},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/KrynickiT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Lopez-Escobar07,
author = {E. G. K. L{\'{o}}pez{-}Escobar},
title = {The Logic of Classes},
journal = {Log. J. {IGPL}},
volume = {15},
number = {5-6},
pages = {689--706},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm044},
doi = {10.1093/JIGPAL/JZM044},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Lopez-Escobar07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MartiniWH07,
author = {Alfio Martini and
Uwe Wolter and
Edward Hermann Haeusler},
title = {Fibred and Indexed Categories for Abstract Model Theory},
journal = {Log. J. {IGPL}},
volume = {15},
number = {5-6},
pages = {707--739},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm045},
doi = {10.1093/JIGPAL/JZM045},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MartiniWH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Mortari07,
author = {Cezar A. Mortari},
title = {Restricted Classical Modal Logics},
journal = {Log. J. {IGPL}},
volume = {15},
number = {5-6},
pages = {741--757},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm046},
doi = {10.1093/JIGPAL/JZM046},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Mortari07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/OvchinnikovaR07,
author = {Ekaterina Ovchinnikova and
Frank Richter},
title = {Morph Moulder: Teaching Software for {HPSG} and Description Logics},
journal = {Log. J. {IGPL}},
volume = {15},
number = {4},
pages = {333--345},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm024},
doi = {10.1093/JIGPAL/JZM024},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/OvchinnikovaR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Pedroso07,
author = {Makmiller Martins Pedroso},
title = {Criteria of Identity and their Logical Form},
journal = {Log. J. {IGPL}},
volume = {15},
number = {5-6},
pages = {759--765},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm047},
doi = {10.1093/JIGPAL/JZM047},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Pedroso07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Perez-LanchoJVS07,
author = {Bel{\'{e}}n P{\'{e}}rez Lancho and
Elena Jorge and
Ana de la Viuda and
Raquel Sanchez},
title = {Software Tools in Logic Education: Some Examples},
journal = {Log. J. {IGPL}},
volume = {15},
number = {4},
pages = {347--357},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm025},
doi = {10.1093/JIGPAL/JZM025},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Perez-LanchoJVS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Sanz07,
author = {Wagner de Campos Sanz},
title = {A Note on Gentzen's \emph{LJ} and \emph{NJ} Systems Isomorphism},
journal = {Log. J. {IGPL}},
volume = {15},
number = {5-6},
pages = {767--774},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm048},
doi = {10.1093/JIGPAL/JZM048},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Sanz07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Sieg07,
author = {Wilfried Sieg},
title = {The AProS Project: Strategic Thinking {\&} Computational Logic},
journal = {Log. J. {IGPL}},
volume = {15},
number = {4},
pages = {359--368},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm026},
doi = {10.1093/JIGPAL/JZM026},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Sieg07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Silva07,
author = {Samuel G. Da Silva},
title = {Large Cardinals and Topology: a Short Retrospective and Some New Results},
journal = {Log. J. {IGPL}},
volume = {15},
number = {5-6},
pages = {433--443},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm052},
doi = {10.1093/JIGPAL/JZM052},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Silva07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/VanaVV07,
author = {Leonardo B. Vana and
Paulo A. S. Veloso and
Sheila R. M. Veloso},
title = {Natural Deduction for "Generally"},
journal = {Log. J. {IGPL}},
volume = {15},
number = {5-6},
pages = {775--800},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm049},
doi = {10.1093/JIGPAL/JZM049},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/VanaVV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Wansing07,
author = {Heinrich Wansing},
title = {A Note on Negation in Categorial Grammar},
journal = {Log. J. {IGPL}},
volume = {15},
number = {3},
pages = {271--286},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm012},
doi = {10.1093/JIGPAL/JZM012},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Wansing07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Zimmermann07,
author = {Ernst Zimmermann},
title = {Substructural Logics in Natural Deduction},
journal = {Log. J. {IGPL}},
volume = {15},
number = {3},
pages = {211--232},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm008},
doi = {10.1093/JIGPAL/JZM008},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Zimmermann07.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-04-25 03:02 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:
