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/sLogica58.bht:"
download as .bib file
@article{DBLP:journals/sLogica/ArchangelskyT97,
author = {Dmitry A. Archangelsky and
Mikhail A. Taitslin},
title = {A Logic for Information Systems},
journal = {Stud Logica},
volume = {58},
number = {1},
pages = {3--16},
year = {1997},
url = {https://doi.org/10.1023/A:1004927613994},
doi = {10.1023/A:1004927613994},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/ArchangelskyT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BenferhatDP97,
author = {Salem Benferhat and
Didier Dubois and
Henri Prade},
title = {Some Syntactic Approaches to the Handling of Inconsistent Knowledge
Bases: {A} Comparative Study Part 1: The Flat Case},
journal = {Stud Logica},
volume = {58},
number = {1},
pages = {17--45},
year = {1997},
url = {https://doi.org/10.1023/A:1004987830832},
doi = {10.1023/A:1004987830832},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/BenferhatDP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Cattaneo97,
author = {Gianpiero Cattaneo},
title = {Generalized Rough Sets (Preclusivity Fuzzy-Intuitionistic {(BZ)} Lattices)},
journal = {Stud Logica},
volume = {58},
number = {1},
pages = {47--77},
year = {1997},
url = {https://doi.org/10.1023/A:1004939914902},
doi = {10.1023/A:1004939914902},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Cattaneo97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/CignoliM97,
author = {Roberto Cignoli and
Daniele Mundici},
title = {An Elementary Proof of Chang's Completeness Theorem for the Infinite-valued
Calculus of Lukasiewicz},
journal = {Stud Logica},
volume = {58},
number = {1},
pages = {79--97},
year = {1997},
url = {https://doi.org/10.1023/A:1004991931741},
doi = {10.1023/A:1004991931741},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/CignoliM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Demri97,
author = {St{\'{e}}phane Demri},
title = {A Completeness Proof for a Logic with an Alternative Necessity Operator},
journal = {Stud Logica},
volume = {58},
number = {1},
pages = {99--112},
year = {1997},
url = {https://doi.org/10.1023/A:1004944015811},
doi = {10.1023/A:1004944015811},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Demri97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Elgueta97,
author = {Raimon Elgueta},
title = {Characterization Classes Defined without Equality},
journal = {Stud Logica},
volume = {58},
number = {3},
pages = {357--394},
year = {1997},
url = {https://doi.org/10.1023/A:1004978316495},
doi = {10.1023/A:1004978316495},
timestamp = {Sun, 14 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/Elgueta97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Gomolinska97,
author = {Anna Gomolinska},
title = {A Nonmonotonic Modal Formalization of the Logic of Acceptance and
Rejection},
journal = {Stud Logica},
volume = {58},
number = {1},
pages = {113--127},
year = {1997},
url = {https://doi.org/10.1023/A:1004996032649},
doi = {10.1023/A:1004996032649},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Gomolinska97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Hajek97,
author = {Petr H{\'{a}}jek},
title = {Fuzzy Logic and Arithmetical Hierarchy, {II}},
journal = {Stud Logica},
volume = {58},
number = {1},
pages = {129--141},
year = {1997},
url = {https://doi.org/10.1023/A:1004948116720},
doi = {10.1023/A:1004948116720},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Hajek97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Hartonas97,
author = {Chrysafis Hartonas},
title = {Duality for Lattice-Ordered Algebras and for Normal Algebraizable
Logics},
journal = {Stud Logica},
volume = {58},
number = {3},
pages = {403--450},
year = {1997},
url = {https://doi.org/10.1023/A:1004982417404},
doi = {10.1023/A:1004982417404},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Hartonas97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Herrmann97,
author = {Burghard Herrmann},
title = {Characterizing Equivalential and Algebraizable Logics by the Leibniz
Operator},
journal = {Stud Logica},
volume = {58},
number = {2},
pages = {305--323},
year = {1997},
url = {https://doi.org/10.1023/A:1004979825733},
doi = {10.1023/A:1004979825733},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Herrmann97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Isoda97,
author = {Eiko Isoda},
title = {Kripke Bundle Semantics and C-set Semantics},
journal = {Stud Logica},
volume = {58},
number = {3},
pages = {395--401},
year = {1997},
url = {https://doi.org/10.1023/A:1004930400566},
doi = {10.1023/A:1004930400566},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Isoda97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/KanekoN97,
author = {Mamoru Kaneko and
Takashi Nagashima},
title = {Game Logic and its Applications {II}},
journal = {Stud Logica},
volume = {58},
number = {2},
pages = {273--303},
year = {1997},
url = {https://doi.org/10.1023/A:1004975724824},
doi = {10.1023/A:1004975724824},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/KanekoN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Kolany97,
author = {Adam Kolany},
title = {Consequence Operations Based on Hypergraph Satisfiability},
journal = {Stud Logica},
volume = {58},
number = {2},
pages = {261--272},
year = {1997},
url = {https://doi.org/10.1023/A:1004923723916},
doi = {10.1023/A:1004923723916},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Kolany97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/KomorowskiPS97,
author = {Henryk Jan Komorowski and
Lech Polkowski and
Andrzej Skowron},
title = {Towards a Rough Mereology-Based Logic for Approximate Solution Synthesis.
Part 1},
journal = {Stud Logica},
volume = {58},
number = {1},
pages = {143--184},
year = {1997},
url = {https://doi.org/10.1023/A:1004900200790},
doi = {10.1023/A:1004900200790},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/KomorowskiPS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Konikowska97,
author = {Beata Konikowska},
title = {A Logic for Reasoning about Relative Similarity},
journal = {Stud Logica},
volume = {58},
number = {1},
pages = {185--226},
year = {1997},
url = {https://doi.org/10.1023/A:1004952317628},
doi = {10.1023/A:1004952317628},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Konikowska97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Marciniec97,
author = {Jacek Marciniec},
title = {Infinite Set Unification with Application to Categorial Grammar},
journal = {Stud Logica},
volume = {58},
number = {3},
pages = {339--355},
year = {1997},
url = {https://doi.org/10.1023/A:1004926032425},
doi = {10.1023/A:1004926032425},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Marciniec97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Wolter97,
author = {Frank Wolter},
title = {Superintuitionistic Companions of Classical Modal Logics},
journal = {Stud Logica},
volume = {58},
number = {2},
pages = {229--259},
year = {1997},
url = {https://doi.org/10.1023/A:1004916107078},
doi = {10.1023/A:1004916107078},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/Wolter97.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-28 10: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:
