Location of Repository

Non-classical logics, or variants of non-classical logics, have rapidly been developed together with the progress of computer science since the 20th century. Typically, we have found that many variants of non-classical logics are represented as ordered algebraic structures, more precisely as lattice expansions. From this point of view, we can think about the study of ordered algebraic structures, like lattice expansions or more generally poset expansions, as a universal approach to non-classical logics.\ud Towards a general study of non-classical logics, in this dissertation, we discuss canonicity and bi-approximation in non-classical logics, especially in lattice expansions and poset expansions. Canonicity provides us with a connection between logical calculi and space-based semantics, e.g. relational semantics, possible world semantics or topological semantics. Note that these results are traditionally considered over bounded distributive lattice-based logics, because they are based on Stone representation. Today, thanks to the recent generalisation of canonical extensions, we can talk about the canonicity over poset expansions. During our investigation of canonicity over poset expansions, we will find the notion of bi-approximation, and apply it to non-classical logics, especially with resource sensitive logics

Publisher: University of Leicester

Year: 2010

OAI identifier:
oai:lra.le.ac.uk:2381/8931

Provided by:
Leicester Research Archive

Downloaded from
https://lra.le.ac.uk/bitstream/2381/8931/1/2010suzukitphd.pdf

- (1959). A completeness theorem in modal logic.
- (1981). A course in universal algebra,
- (1989). A new proof of Sahlqvist’s theorem on modal definability and completeness.
- (2007). A relational semantics for distributive substructural logics and the topological characterization of the descriptive frames. CALCO-jnr
- (2005). A Sahlqvist theorem for distributive modal logic.
- (2003). A Sahlqvist theorem for relevant modal logics. Studia Logica, 73:383– 411,
- (1978). A topological representation theory for lattices. Algebra Universalis,
- (2000). Algebraic Foundations of Manyvalued Reasoning. Trends in Logic.
- (1985). Algebraic laws for nondeterminism and concurrency.
- (2006). Algebras and coalgebras.
- (1969). An axiomatic basis for computer programming.
- (2000). An introduction to cylindric set algebras.
- (1977). An Introduction to Modal Logic.
- (2008). An Introduction to Non-Classical Logic.
- (2000). An Introduction to Substructural Logics.
- (2010). Bi-approximation semantics for substructural logic.
- (1951). Boolean algebras with operators I.
- (1952). Boolean algebras with operators II.
- (1994). Bounded distributive lattices with operators.
- (2001). Bounded lattice expansions.
- (1998). Canonical completions of lattices and ortholattices.
- (2005). Canonical extensions and relational completeness of some substructural logics.
- (2007). Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operators.
- (2010). Canonicity results of substructural and lattice-based logics. The Review of Symbolic Logic,
- (1999). Categorical Logic and Type Theory,
- (1998). Categories for the Working Mathematician.
- (1975). Completeness and correspondence in the first and second order semantics for modal logic.
- (1997). Constructive canonicity in non-classical logics.
- (1991). Domain theory in logical form.
- (1996). Duality for algebras of relevant logics.
- (1997). Duality for lattice-ordered algebras and normal algebraizable logics.
- (2000). Dynamic Logic. Foundations of Computing.
- (2006). Elementary canonical formulae: extending Sahlqvist’s theorem.
- (1998). First-Order Modal Logic,
- (2007). First-order modal logic.
- (1963). Functorial Semantics of Algebraic Theories and Some Algebraic Problems in the Context of Functorial Semantics of Algebraic Theories.
- (2003). General frames for relevant modal logics.
- (2006). Generalized Kripke frames.
- (1994). Handbook of Categorical Algebra 1, volume 50 of Encyclopedia of Mathematics and its Applications.
- (1994). Handbook of Categorical Algebra 3, volume 52 of Encyclopedia of Mathematics and its Applications.
- (1985). Heyting Algebra I, Duality Theory.
- (1986). Introduction to higher order categorical logic, volume 7 of Cambridge studies in advanced mathematics.
- (2002). Introduction to Lattices and Order.
- (2000). Introduction to Process Algebra.
- (1997). Kleene algebra with tests.
- (2007). Kripke completeness of some distributive substructural logics.
- (1993). Kripke models for linear logic.
- (1948). Lattice theory, volume XXV
- (2006). Lattices of Intermediate and Cylindric Modal Logics.
- (1985). Logics without the contraction rule.
- (2006). MacNeille completions and canonical extensions.
- (2006). Mathematical modal logic: a view of its evolution.
- (1997). Modal logic, volume 35 of Oxford Logic Guides.
- (2002). Modal logic, volume 53 of Cambridge Tracts in Theoretical Computer Science.
- (2002). Non-canonicity of MV-algebras.
- On canonicity of poset expansions. Algebra Universalis.
- (1994). On the canonicity of Sahlqvist identities.
- (2006). On the representation of Kleene algebras with tests.
- (1972). Ordered topological spaces and the representation of distributive lattices.
- (1937). Partially ordered sets.
- (1960). Polarity and duality.
- (1954). Polyadic boolean algebras.
- (1956). Predicates, terms, operations, and equality in polyadic boolean algebras.
- (1986). Relevance logic and entailment.
- (1982). Relevant logics and their rivals. Part 1. The basic philosophical and semantical theory.
- (2003). Relevant logics and their rivals. Volume II. A continuation of the work of
- (2007). Residuated lattices: an algebraic glimpse at substructural logics,
- Sahlqvist theorem for substructural logic.
- (1995). Sahlqvist’s theorem for Boolean algebras with operators with an application to cylindric algebras. Studia Logica,
- (1974). Semantic analysis of orthologic.
- (1993). Semantics for substructural logics.
- (2002). Separation logic: A logic for shared mutable data structures.
- (1989). Sequent-systems and groupoid models.
- (1992). Sheaves in Geometry and Logic: A First Introduction to Topos Theory.
- (1975). Some connections between elementary and modal logic.
- (1986). sometimes” and “not never” revisited: on branching versus linear time temporal logic.
- (1997). Stone duality for lattices. Algebra Universalis,
- (1982). Stone spaces, volume 3 of Cambridge studies in advanced mathematics.
- (2003). Substructural logics and residuated lattices - an introduction.
- Suppose R◦(x1, x2, x), i.e. if R(x1, x2, y′) then x ≤ y′ for every y′ ∈ Y . By assumption, we obtain R(x1, x2, y), which derives x
- (1972). The semantics of entailment.
- (1977). The temporal logic of programs.
- (1936). The theory of representations for Boolean algebras.
- (2006). Topoi: the Categorial Analysis of Logic.
- (1937). Topological representations of distributive lattices and Brouwerian logics. Casopis Pest.
- (1988). Topology and duality in modal logic.

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.