Algebraic semantics of a system of logic based on a finite ordered set

Mathematical Logic Quarterly 45 (4):457-466 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,682

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Kripke-style semantics of a logical system based on a finite ordered set.A. Nour - 2000 - Mathematical Logic Quarterly 46 (3):417-432.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
The finite model property for knotted extensions of propositional linear logic.C. J. van Alten - 2005 - Journal of Symbolic Logic 70 (1):84-98.
On an axiomatic system for the logic of linearly ordered BCI-matrices.San-min Wang & Dao-Wu Pei - 2012 - Archive for Mathematical Logic 51 (3-4):285-297.
The Logic of Finite Order.Simon Hewitt - 2012 - Notre Dame Journal of Formal Logic 53 (3):297-318.
Decidability and finite axiomatizability of theories of ℵ0-categorical partially ordered sets.James H. Schmerl - 1981 - Journal of Symbolic Logic 46 (1):101 - 120.
Categorical Abstract Algebraic Logic: Algebraic Semantics for (documentclass{article}usepackage{amssymb}begin{document}pagestyle{empty}$bf{pi }$end{document})‐Institutions.George Voutsadakis - 2013 - Mathematical Logic Quarterly 59 (3):177-200.
About finite predicate logic.Herman Dishkant - 1986 - Studia Logica 45 (4):405 - 414.
The lattice of modal logics: An algebraic investigation.W. J. Blok - 1980 - Journal of Symbolic Logic 45 (2):221-236.
Algebraic Functions.M. Campercholi & D. Vaggione - 2011 - Studia Logica 98 (1-2):285-306.
Modalities in linear logic weaker than the exponential “of course”: Algebraic and relational semantics. [REVIEW]Anna Bucalo - 1994 - Journal of Logic, Language and Information 3 (3):211-232.
The logic of equilibrium and abelian lattice ordered groups.Adriana Galli, Renato A. Lewin & Marta Sagastume - 2004 - Archive for Mathematical Logic 43 (2):141-158.
'Can' and the logic of ability.Charles B. Cross - 1986 - Philosophical Studies 50 (1):53-64.

Analytics

Added to PP
2014-03-28

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references