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/sLogica/sLogica64.bht:"
download as .bib file
@article{DBLP:journals/sLogica/Bezhanishvili00,
author = {Guram Bezhanishvili},
title = {Varieties of Monadic Heyting Algebras. Part {III}},
journal = {Stud Logica},
volume = {64},
number = {2},
pages = {215--256},
year = {2000},
url = {https://doi.org/10.1023/A:1005285631357},
doi = {10.1023/A:1005285631357},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Bezhanishvili00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Carbone00,
author = {Alessandra Carbone},
title = {Quantified Propositional Logic and the Number of Lines of Tree-Like
Proofs},
journal = {Stud Logica},
volume = {64},
number = {3},
pages = {315--321},
year = {2000},
url = {https://doi.org/10.1023/A:1005281425560},
doi = {10.1023/A:1005281425560},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/Carbone00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Dellunde00,
author = {Pilar Dellunde},
title = {On Definability of the Equality in Classes of Algebras with an Equivalence
Relation},
journal = {Stud Logica},
volume = {64},
number = {3},
pages = {345--353},
year = {2000},
url = {https://doi.org/10.1023/A:1005237627378},
doi = {10.1023/A:1005237627378},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Dellunde00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Dvurecenskij00,
author = {Anatolij Dvurecenskij},
title = {On Categorical Equivalences of Commutative BCK-algebras},
journal = {Stud Logica},
volume = {64},
number = {1},
pages = {21--36},
year = {2000},
url = {https://doi.org/10.1023/A:1005282128667},
doi = {10.1023/A:1005282128667},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Dvurecenskij00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Gaitan00,
author = {Hernando Gait{\'{a}}n},
title = {Priestley Duality for Quasi-Stone Algebras},
journal = {Stud Logica},
volume = {64},
number = {1},
pages = {83--92},
year = {2000},
url = {https://doi.org/10.1023/A:1005294531393},
doi = {10.1023/A:1005294531393},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Gaitan00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/GalliSR00,
author = {Adriana Galli and
Marta Sagastume and
Gonzalo E. Reyes},
title = {Completeness Theorems via the Double Dual Functor},
journal = {Stud Logica},
volume = {64},
number = {1},
pages = {61--81},
year = {2000},
url = {https://doi.org/10.1023/A:1005238330484},
doi = {10.1023/A:1005238330484},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/GalliSR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/HlkowskaD00,
author = {K. Hlkowska and
Klaus Denecke},
title = {P-Compatible Hypersubstitution and MP-Solid Varieties},
journal = {Stud Logica},
volume = {64},
number = {3},
pages = {355--363},
year = {2000},
url = {https://doi.org/10.1023/A:1005241711448},
doi = {10.1023/A:1005241711448},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/HlkowskaD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/KanoveiR00,
author = {Vladimir Kanovei and
Michael Reeken},
title = {Extending Standard Models of {ZFC} to Models of Nonstandard Set Theories},
journal = {Stud Logica},
volume = {64},
number = {1},
pages = {37--59},
year = {2000},
url = {https://doi.org/10.1023/A:1005286212737},
doi = {10.1023/A:1005286212737},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/KanoveiR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Krivtsov00a,
author = {Victor N. Krivtsov},
title = {A Negationless Interpretation of Intuitionistic Theories {I}},
journal = {Stud Logica},
volume = {64},
number = {3},
pages = {323--344},
year = {2000},
url = {https://doi.org/10.1023/A:1005233526469},
doi = {10.1023/A:1005233526469},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Krivtsov00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Petersen00,
author = {Uwe Petersen},
title = {Logic Without Contraction as Based on Inclusion and Unrestricted Abstraction},
journal = {Stud Logica},
volume = {64},
number = {3},
pages = {365--403},
year = {2000},
url = {https://doi.org/10.1023/A:1005293713265},
doi = {10.1023/A:1005293713265},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Petersen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Rijke00,
author = {Maarten de Rijke},
title = {A Note on Graded Modal Logic},
journal = {Stud Logica},
volume = {64},
number = {2},
pages = {271--283},
year = {2000},
url = {https://doi.org/10.1023/A:1005245900406},
doi = {10.1023/A:1005245900406},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Rijke00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Skvortsov00,
author = {Dmitrij P. Skvortsov},
title = {On the Existence of Continua of Logics Between Some Intermediate Predicate
Logics},
journal = {Stud Logica},
volume = {64},
number = {2},
pages = {257--270},
year = {2000},
url = {https://doi.org/10.1023/A:1005289716336},
doi = {10.1023/A:1005289716336},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Skvortsov00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Sofronie-Stokkermans00,
author = {Viorica Sofronie{-}Stokkermans},
title = {Duality and Canonical Extensions of Bounded Distributive Lattices
with Operators, and Applications to the Semantics of Non-Classical
Logics {I}},
journal = {Stud Logica},
volume = {64},
number = {1},
pages = {93--132},
year = {2000},
url = {https://doi.org/10.1023/A:1005298632302},
doi = {10.1023/A:1005298632302},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Sofronie-Stokkermans00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Sofronie-Stokkermans00a,
author = {Viorica Sofronie{-}Stokkermans},
title = {Duality and Canonical Extensions of Bounded Distributive Lattices
with Operators, and Applications to the Semantics of Non-Classical
Logics {II}},
journal = {Stud Logica},
volume = {64},
number = {2},
pages = {151--172},
year = {2000},
url = {https://doi.org/10.1023/A:1005228629540},
doi = {10.1023/A:1005228629540},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Sofronie-Stokkermans00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Sturm00,
author = {Holger Sturm},
title = {Elementary Classes in Basic Modal Logic},
journal = {Stud Logica},
volume = {64},
number = {2},
pages = {193--213},
year = {2000},
url = {https://doi.org/10.1023/A:1005233530449},
doi = {10.1023/A:1005233530449},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Sturm00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Sturm00a,
author = {Holger Sturm},
title = {Modal Horn Classes},
journal = {Stud Logica},
volume = {64},
number = {3},
pages = {301--313},
year = {2000},
url = {https://doi.org/10.1023/A:1005252908722},
doi = {10.1023/A:1005252908722},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Sturm00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Wansing00,
author = {Heinrich Wansing},
title = {The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical
Operations},
journal = {Stud Logica},
volume = {64},
number = {1},
pages = {3--20},
year = {2000},
url = {https://doi.org/10.1023/A:1005217827758},
doi = {10.1023/A:1005217827758},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/Wansing00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Weaver00,
author = {George Weaver},
title = {Homogeneous and Universal Dedekind Algebras},
journal = {Stud Logica},
volume = {64},
number = {2},
pages = {173--192},
year = {2000},
url = {https://doi.org/10.1023/A:1005281413610},
doi = {10.1023/A:1005281413610},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Weaver00.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-07-22 18:37 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:
