default search action
Search dblp for Publications
export results for "toc:db/journals/sLogica/sLogica54.bht:"
@article{DBLP:journals/sLogica/AdamsD95, author = {M. E. Adams and Wieslaw Dziobiak}, title = {Joins of minimal quasivarieties}, journal = {Stud Logica}, volume = {54}, number = {3}, pages = {371--389}, year = {1995}, url = {https://doi.org/10.1007/BF01053005}, doi = {10.1007/BF01053005}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/AdamsD95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/CostaD95a, author = {Newton C. A. da Costa and Francisco A. Doria}, title = {On Jaskowski's discussive logic}, journal = {Stud Logica}, volume = {54}, number = {1}, pages = {33--60}, year = {1995}, url = {https://doi.org/10.1007/BF01058531}, doi = {10.1007/BF01058531}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/CostaD95a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/EpsteinR95, author = {George Epstein and Helena Rasiowa}, title = {A partially ordered extention of the integers}, journal = {Stud Logica}, volume = {54}, number = {3}, pages = {303--332}, year = {1995}, url = {https://doi.org/10.1007/BF01053003}, doi = {10.1007/BF01053003}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/EpsteinR95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/Grygiel95, author = {Joanna Grygiel}, title = {Freely generated filters in free Boolean algebras}, journal = {Stud Logica}, volume = {54}, number = {2}, pages = {139--147}, year = {1995}, url = {https://doi.org/10.1007/BF01063149}, doi = {10.1007/BF01063149}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/Grygiel95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/NowakV95, author = {Marek Nowak and Daniel Vanderveken}, title = {A complete minimal logic of the propositional contents of thought}, journal = {Stud Logica}, volume = {54}, number = {3}, pages = {391--410}, year = {1995}, url = {https://doi.org/10.1007/BF01053006}, doi = {10.1007/BF01053006}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/NowakV95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/OrlowskaS95, author = {Ewa Orlowska and Andrzej Skowron}, title = {In Memoriam Helena Rasiowa}, journal = {Stud Logica}, volume = {54}, number = {1}, pages = {1--2}, year = {1995}, url = {https://doi.org/10.1007/BF01058529}, doi = {10.1007/BF01058529}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/OrlowskaS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/Priestley95, author = {Hilary A. Priestley}, title = {Natural dualities for varieties of \emph{n}-valued Lukasiewicz algebras}, journal = {Stud Logica}, volume = {54}, number = {3}, pages = {333--370}, year = {1995}, url = {https://doi.org/10.1007/BF01053004}, doi = {10.1007/BF01053004}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/Priestley95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/Prijatelj95, author = {Andreja Prijatelj}, title = {Connectification for \emph{n}-contraction}, journal = {Stud Logica}, volume = {54}, number = {2}, pages = {149--171}, year = {1995}, url = {https://doi.org/10.1007/BF01063150}, doi = {10.1007/BF01063150}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/Prijatelj95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/Pym95, author = {David J. Pym}, title = {A note on the proof theory of the lambda-II-calculus}, journal = {Stud Logica}, volume = {54}, number = {2}, pages = {199--230}, year = {1995}, url = {https://doi.org/10.1007/BF01063152}, doi = {10.1007/BF01063152}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/Pym95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/Pynko95, author = {Alexej P. Pynko}, title = {Algebraic study of sette's maximal paraconsistent logic}, journal = {Stud Logica}, volume = {54}, number = {1}, pages = {89--128}, year = {1995}, url = {https://doi.org/10.1007/BF01058534}, doi = {10.1007/BF01058534}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/Pynko95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/RijkeV95, author = {Maarten de Rijke and Yde Venema}, title = {Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras}, journal = {Stud Logica}, volume = {54}, number = {1}, pages = {61--78}, year = {1995}, url = {https://doi.org/10.1007/BF01058532}, doi = {10.1007/BF01058532}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/RijkeV95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/Skvortsov95, author = {Dmitrij P. Skvortsov}, title = {On the predicate logic of finite Kripke frames}, journal = {Stud Logica}, volume = {54}, number = {1}, pages = {79--88}, year = {1995}, url = {https://doi.org/10.1007/BF01058533}, doi = {10.1007/BF01058533}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/Skvortsov95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/Suzuki95, author = {Nobu{-}Yuki Suzuki}, title = {Constructing a continuum of predicate extensions of each intermediate propositional logic}, journal = {Stud Logica}, volume = {54}, number = {2}, pages = {173--198}, year = {1995}, url = {https://doi.org/10.1007/BF01063151}, doi = {10.1007/BF01063151}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/Suzuki95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/Urchs95, author = {Max P. Urchs}, title = {Discursive logic. Towards a logic of rational discourse}, journal = {Stud Logica}, volume = {54}, number = {2}, pages = {231--249}, year = {1995}, url = {https://doi.org/10.1007/BF01063153}, doi = {10.1007/BF01063153}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/Urchs95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/Venema95, author = {Yde Venema}, title = {Meeting strength in substructural logics}, journal = {Stud Logica}, volume = {54}, number = {1}, pages = {3--32}, year = {1995}, url = {https://doi.org/10.1007/BF01058530}, doi = {10.1007/BF01058530}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/Venema95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/Xu95, author = {Ming Xu}, title = {Busy choice sequences, refraining formulas and modalities}, journal = {Stud Logica}, volume = {54}, number = {3}, pages = {267--301}, year = {1995}, url = {https://doi.org/10.1007/BF01053002}, doi = {10.1007/BF01053002}, timestamp = {Thu, 21 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/Xu95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.