Search dblp for Publications

export results for "toc:db/journals/jancl/jancl9.bht:"

 download as .bib file

@article{DBLP:journals/jancl/AbadV99,
  author       = {Manuel Abad and
                  J. Patricio D{\'{\i}}az Varela},
  title        = {Free double Ockham algebras},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {9},
  number       = {1},
  pages        = {173--183},
  year         = {1999},
  url          = {https://doi.org/10.1080/11663081.1999.10510963},
  doi          = {10.1080/11663081.1999.10510963},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/AbadV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Artemov99,
  author       = {Sergei N. Art{\"{e}}mov},
  title        = {Realization of Intuitionistic Logic by Proof Polynomials},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {9},
  number       = {2-3},
  pages        = {285--301},
  year         = {1999},
  url          = {https://doi.org/10.1080/11663081.1999.10510968},
  doi          = {10.1080/11663081.1999.10510968},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Artemov99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Balbiani99,
  author       = {Philippe Balbiani},
  title        = {Inequality without irreflexivity},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {9},
  number       = {4},
  pages        = {523--534},
  year         = {1999},
  url          = {https://doi.org/10.1080/11663081.1999.10510982},
  doi          = {10.1080/11663081.1999.10510982},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Balbiani99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/BalbianiO99,
  author       = {Philippe Balbiani and
                  Ewa Orlowska},
  title        = {A hierarchy of modal logics with relative accessibility relations},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {9},
  number       = {2-3},
  pages        = {303--328},
  year         = {1999},
  url          = {https://doi.org/10.1080/11663081.1999.10510969},
  doi          = {10.1080/11663081.1999.10510969},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/BalbianiO99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/BelluceNG99,
  author       = {Lawrence Peter Belluce and
                  Antonio Di Nola and
                  George Georgescu},
  title        = {Perfect MV-algebras and l-rings},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {9},
  number       = {1},
  pages        = {159--172},
  year         = {1999},
  url          = {https://doi.org/10.1080/11663081.1999.10510962},
  doi          = {10.1080/11663081.1999.10510962},
  timestamp    = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/BelluceNG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Benthem99,
  author       = {Johan van Benthem},
  title        = {The Range of Modal Logic},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {9},
  number       = {2-3},
  year         = {1999},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Benthem99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/DOttavianoF99,
  author       = {Itala M. Loffredo D'Ottaviano and
                  H{\'{e}}rcules A. Feitosa},
  title        = {Many-valued logics and translations},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {9},
  number       = {1},
  pages        = {121--140},
  year         = {1999},
  url          = {https://doi.org/10.1080/11663081.1999.10510960},
  doi          = {10.1080/11663081.1999.10510960},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/DOttavianoF99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Fitting99,
  author       = {Melvin Fitting},
  title        = {Barcan Both Ways},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {9},
  number       = {2-3},
  pages        = {329--344},
  year         = {1999},
  url          = {https://doi.org/10.1080/11663081.1999.10510970},
  doi          = {10.1080/11663081.1999.10510970},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Fitting99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/GalliS99,
  author       = {Adriana Galli and
                  Marta Sagastume},
  title        = {Some operations in Kripke models with an involution},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {9},
  number       = {1},
  pages        = {107--120},
  year         = {1999},
  url          = {https://doi.org/10.1080/11663081.1999.10510959},
  doi          = {10.1080/11663081.1999.10510959},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/GalliS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Gargov99,
  author       = {George Gargov},
  title        = {Knowledge and Uncertainty and Ignorance in Logic: Bilattices and beyond},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {9},
  number       = {2-3},
  pages        = {195--283},
  year         = {1999},
  url          = {https://doi.org/10.1080/11663081.1999.10510967},
  doi          = {10.1080/11663081.1999.10510967},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Gargov99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/GilRV99,
  author       = {{\`{A}}ngel J. Gil and
                  Jordi Rebagliato and
                  Ventura Verd{\'{u}}},
  title        = {A Strong Completeness Theorem for the Gentzen systems associated with
                  finite algebras},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {9},
  number       = {1},
  pages        = {9--36},
  year         = {1999},
  url          = {https://doi.org/10.1080/11663081.1999.10510956},
  doi          = {10.1080/11663081.1999.10510956},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/GilRV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/GodoH99,
  author       = {Llu{\'{\i}}s Godo and
                  Petr H{\'{a}}jek},
  title        = {Fuzzy inference as deduction},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {9},
  number       = {1},
  pages        = {37--60},
  year         = {1999},
  url          = {https://doi.org/10.1080/11663081.1999.10510957},
  doi          = {10.1080/11663081.1999.10510957},
  timestamp    = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/GodoH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/GorankoV99,
  author       = {Valentin Goranko and
                  Dimiter Vakarelov},
  title        = {Hyperboolean Algebras and Hyperboolean Modal Logic},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {9},
  number       = {2-3},
  pages        = {345--368},
  year         = {1999},
  url          = {https://doi.org/10.1080/11663081.1999.10510971},
  doi          = {10.1080/11663081.1999.10510971},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/GorankoV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/HustadtS99,
  author       = {Ullrich Hustadt and
                  Renate A. Schmidt},
  title        = {An empirical analysis of modal theorem provers},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {9},
  number       = {4},
  pages        = {479--522},
  year         = {1999},
  url          = {https://doi.org/10.1080/11663081.1999.10510981},
  doi          = {10.1080/11663081.1999.10510981},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/HustadtS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/KohlhaseS99,
  author       = {Michael Kohlhase and
                  Ortwin Scheja},
  title        = {Higher Order Multi-Valued Resolution},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {9},
  number       = {4},
  pages        = {455--477},
  year         = {1999},
  url          = {https://doi.org/10.1080/11663081.1999.10510980},
  doi          = {10.1080/11663081.1999.10510980},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/KohlhaseS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Panti99,
  author       = {Giovanni Panti},
  title        = {Varieties of MV-algebras},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {9},
  number       = {1},
  pages        = {141--157},
  year         = {1999},
  url          = {https://doi.org/10.1080/11663081.1999.10510961},
  doi          = {10.1080/11663081.1999.10510961},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Panti99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Pynko99,
  author       = {Alexej P. Pynko},
  title        = {Functional completeness, axiomatizability within Belnap's four valued
                  logic and its expansions},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {9},
  number       = {1},
  pages        = {61--105},
  year         = {1999},
  url          = {https://doi.org/10.1080/11663081.1999.10510958},
  doi          = {10.1080/11663081.1999.10510958},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Pynko99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Shehtman99,
  author       = {Valentin B. Shehtman},
  title        = {"Everywhere" and "Here"},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {9},
  number       = {2-3},
  pages        = {369--379},
  year         = {1999},
  url          = {https://doi.org/10.1080/11663081.1999.10510972},
  doi          = {10.1080/11663081.1999.10510972},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Shehtman99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Skvortsov99,
  author       = {Dmitrij P. Skvortsov},
  title        = {Remark on a finite axiomatization of finite intermediate propositional
                  logics},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {9},
  number       = {2-3},
  pages        = {381--386},
  year         = {1999},
  url          = {https://doi.org/10.1080/11663081.1999.10510973},
  doi          = {10.1080/11663081.1999.10510973},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Skvortsov99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Sotirov99,
  author       = {V. Sotirov},
  title        = {Arithmetizations of Syllogistic {\`{a}} la Leibniz},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {9},
  number       = {2-3},
  pages        = {387--405},
  year         = {1999},
  url          = {https://doi.org/10.1080/11663081.1999.10510975},
  doi          = {10.1080/11663081.1999.10510975},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Sotirov99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.