All sites of Mathematics

The Logic of More The Logic of More
The Logic of More- Analysis of a ripple adder in binary logic and alternative designs in ternary and multi-value logics. ...
Polyvalued Logic Polyvalued Logic
Polyvalued Logic- A general math defined first order and modal propositional logic based on degrees of truth other than fuzzy concepts. ...
Computational Tools for Modal Logic Computational Tools for Modal Logic
Computational Tools for Modal Logic- Resources collected by Renate Schmidt. ...
Modal Logic Modal Logic
Modal Logic- Originally the study of deductive behavior of the expressions `it is necessary that' and `it is possible that', now also includes logics for belief, tense, the deontic (moral) expressions. From the Stanford ...
Modal Logic Modal Logic
Modal Logic- Online book by J. Jay Zeman. ...
Beklemishev, Lev Beklemishev, Lev
Beklemishev, Lev- Utrecht University, Netherlands and Steklov Mathematical Institute, Russia. ...
The Calculus of Structures - Modal Logics The Calculus of Structures - Modal Logics
The Calculus of Structures - Modal Logics- Several normal propositional modal logics are systematically presented in the calculus of structures and cut elimination is proved. By Alessio Guglielmi. ...
Mally's Deontic Logic Mally's Deontic Logic
Mally's Deontic Logic- Discussion of Ernst Mally's logic of obligation; from the Stanford Encyclopedia by Gert-Jan Lokhorst. ...
Modal epistemic logic Modal epistemic logic
Modal epistemic logic- An extensive overview of the subject. ...
Modal Logic Modal Logic
Modal Logic- Wikipedia article. ...
Modal Logic Modal Logic
Modal Logic- Open Encyclopedia article. ...
Substructural and Paraconsistent Logics Substructural and Paraconsistent Logics
Substructural and Paraconsistent Logics- A section of the SWIF map of logic on the WWW. Resources are in English and Italian. ...
Substructural Logics Substructural Logics
Substructural Logics- Survey from the Stanford Encyclopedia of Philosophy by Greg Restall. ...
TemporalRover TemporalRover
TemporalRover- Provides automatic verification of protocols and reactive systems through temporal logic specifications. ...
Goldstern, Martin Goldstern, Martin
Goldstern, Martin- Technical University of Vienna. ...
Temporal Logic Case Study Temporal Logic Case Study
Temporal Logic Case Study- A case study applying temporal logic to specify the operation of a bank of identical elevators servicing a number of floors in a building. ...
Time International Workshop Series Time International Workshop Series
Time International Workshop Series- The annual International Workshop on Temporal Representation and Reasoning covers temporal representation and reasoning, including temporal logic. ...
Temporal Logic Temporal Logic
Temporal Logic- The Stanford Encyclopedia of Philosophy entry on the subject, with a detailed description, application areas and a bibliography. ...
Marking up Temporal Logic Marking up Temporal Logic
Marking up Temporal Logic- First in a series of posts to the www-math mailing list on using TL operators in web pages. Clicking [Prev] will continue through the series. ...
Efficient Symbolic Tools Efficient Symbolic Tools
Efficient Symbolic Tools- A BDD based tool for the formal verification of concurrent systems using a propositional branching-time temporal logic: action computation tree logic (ACTL). It runs under different OS, includin ...
Anand, Bhupinder Singh Anand, Bhupinder Singh
Anand, Bhupinder Singh- Independent scholar, Mumbai. Interests: reviewing standard interpretations of Cantor's, Gödel's, Tarski's, and Turing's reasoning. ...
Japaridze, Giorgi Japaridze, Giorgi
Japaridze, Giorgi- Villanova University, USA. ...
Buss, Samuel Buss, Samuel
Buss, Samuel- University of California, San Diego, USA. ...
Set Theory with a Universal Set Set Theory with a Universal Set
Set Theory with a Universal Set- List of publications and websites on axiomatic set theories. ...
Journal of Logic and Computation Journal of Logic and Computation
Journal of Logic and Computation- Unofficial bibliography as part of Hypertext Bibliography Project. ...
Mathematics Arxiv Front: LO Logic Mathematics Arxiv Front: LO Logic
Mathematics Arxiv Front: LO Logic- Front for the Mathematics Arxive logic section. ...
Bibliography on Linear Logic Bibliography on Linear Logic
Bibliography on Linear Logic- Indexed by author. In HTML, PS, DVI and BibTeX. ...
Practical Foundations of Mathematics Practical Foundations of Mathematics
Practical Foundations of Mathematics- By Paul Taylor (CUP, 2000). Table of contents, bibliography, text without diagrams. ...
Journal of Logic and Computation Journal of Logic and Computation
Journal of Logic and Computation- Publisher's site. Unrestricted access only for subscribers. ...
Mathematical Logic Quarterly Mathematical Logic Quarterly
Mathematical Logic Quarterly- Formerly Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. Publisher's site. Table of contents from 2000. Full text to subscribers. ...
Transactions on Computational Logic Transactions on Computational Logic
Transactions on Computational Logic- Devoted to research concerned with all uses of logic in computer science. ...
Israel Journal of Mathematics Israel Journal of Mathematics
Israel Journal of Mathematics- Publisher's site. ...
Notre Dame Journal of Formal Logic Notre Dame Journal of Formal Logic
Notre Dame Journal of Formal Logic- Publisher's site, access restricted. ...
Bulletin of Symbolic Logic Bulletin of Symbolic Logic
Bulletin of Symbolic Logic- All articles in postscript format. ...
Journal of Functional and Logic Programming Journal of Functional and Logic Programming
Journal of Functional and Logic Programming- Electronic journal. ...
Journal of Symbolic Logic Journal of Symbolic Logic
Journal of Symbolic Logic- Official organ of the Association of Symbolic Logic. ...
Annals of Pure and Applied Logic Annals of Pure and Applied Logic
Annals of Pure and Applied Logic- (Elsevier) Formerly Annals of Mathematical Logic. Unrestricted access only for subscribers. ...
Logic Journal of the IGPL Logic Journal of the IGPL
Logic Journal of the IGPL- (OUP) Official publication of the Interest Group in Pure and Applied Logic. ...
Archive for Mathematical Logic Archive for Mathematical Logic
Archive for Mathematical Logic- Publishes research papers and occasionally surveys or expositions on mathematical logic. Tables of contents from vol.34 (1995) on. Full text to subscribers. ...
Journal of Philosophical Logic Journal of Philosophical Logic
Journal of Philosophical Logic- Journal devoted to philosophical applications of logic, and the philosophical underpinnings of logic. Sample copy and an archive of tables of contents. ...
Journal of Mathematical Logic Journal of Mathematical Logic
Journal of Mathematical Logic- World Scientific. Contents and abstracts of all issues; full text to institutional subscribers. ...
Journal of Automated Reasoning Journal of Automated Reasoning
Journal of Automated Reasoning- Interdisciplinary Journal covering theory, implementation and application. Online archive and full text for subscribers. ...
Journal of Logic, Language and Information Journal of Logic, Language and Information
Journal of Logic, Language and Information- Explores the foundations of natural, formal, and programming languages, as well as the different forms of human and mechanized inference. It covers the logical, linguistic, and ...
Grossberg, Rami Grossberg, Rami
Grossberg, Rami- Carnegie Mellon University. ...
Fundamenta Mathematicae Fundamenta Mathematicae
Fundamenta Mathematicae- (Polish Academy of Sciences) Publisher's site. Tables of contents from vol.33 (1945). ...
(Austria) University of Vienna (Austria) University of Vienna
(Austria) University of Vienna- Department of Formal Logic. ...
(France) Paris 7 (France) Paris 7
(France) Paris 7- Mathematical Logic Team. [Flags are language selectors] ...
ECOR: European centre for ontological research ECOR: European centre for ontological research
ECOR: European centre for ontological research- The European Center for Ontological Research represents a new approach in applying ontology to a variety of problems in information science and related areas. The Center dr ...
(Netherlands) Amsterdam (Netherlands) Amsterdam
(Netherlands) Amsterdam- Institute for Logic, Language and Computation. ...
(Austria) Vienna University of Technology (Austria) Vienna University of Technology
(Austria) Vienna University of Technology- Group in Applications of Formal Logic. ...

Latest sites from Mathematics