An algebraic approach to non-classical logics
From MaRDI portal
Publication:1214924
zbMath0299.02069MaRDI QIDQ1214924
Publication date: 1974
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) General logic (03Bxx) Algebraic logic (03Gxx)
Related Items
Sentential logics and Maehara interpolation property, Non-commutative Łukasiewicz propositional logic, Almost structural completeness; an algebraic approach, Representations through a monoid on the set of fuzzy implications, Polarity semantics for negation as a modal operator, Triangle algebras: A formal logic approach to interval-valued residuated lattices, On the difference between traditional and deductive fuzzy logic, About finite predicate logic, On decidable consequence operators, On the deductive system of the order of an equationally orderable quasivariety, The class of Kleene algebras satisfying an interpolation property and Nelson algebras, Conditions for permutability of congruences in implication algebras, A note on regular De Morgan semi-Heyting algebras, Subdirect products of totally ordered BCK-algebras, Semi-Post algebras, On the degree of complexity of sentential logics. III. An example of Johansson's minimal logic, Subalgebras and homomorphisms of semi-Post algebras, Universality of the closure space of filters in the algebra of all subsets, Galois structures, The semantic isomorphism theorem in abstract algebraic logic, Undecidability of relatively free Hilbert algebras, Paraconsistency properties in degree-preserving fuzzy logics, Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro, A common generalization for MV-algebras and Łukasiewicz-Moisil algebras, Every BCK-algebra is a set of residuables in an integral pomonoid, Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa, Selfextensional logics with a conjunction, Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, Propositional logic for topology-like matrices: A calculus with restricted substitution, Bilattices with implications, On Gentzen relations associated with finite-valued logics preserving degrees of truth, Abstract valuation semantics, Congruence relations on De Morgan algebras, Axiomatizing the skew Boolean propositional calculus, A glimpse of deductive systems in algebra, Information completeness in Nelson algebras of rough sets induced by quasiorders, Algebraic structures in categorial grammar, Distributive lattices with a dual homomorphic operation, On two problems of Harvey Friedman, On the determination of all NB-structures on BCK-algebras, Representations of structural closure operators, Categorical foundations of variety-based topology and topological systems, The quasi-lattice of indiscernible elements, Modal operators on Heyting algebras, Canonical formulas for a paraconsistent analog of the Scott logic, Algebraic models of deviant modal operators based on De Morgan and Kleene lattices, Canonical extensions for congruential logics with the deduction theorem, R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs, An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics, Equivalential logics. I, Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety, Representation of Nelson algebras by rough sets determined by quasiorders, Varieties of interlaced bilattices, Priestley duality for bilattices, The standard completeness of interval-valued monoidal t-norm based logic, Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability, A survey of fuzzy implication algebras and their axiomatization, Constructive logic with strong negation is a substructural logic. I, Boolean representation of bounded BCK-algebras, Monadic GMV-algebras, Logics with disjunction and proof by cases, Two axiomatizations of Nelson algebras., The semi Heyting-Brouwer logic, Generalized sketches as a framework for completeness theorems. I-III, Algebraic structures in the vicinity of pre-rough algebra and their logics, On implicator groupoids, Extended-order algebras, Hilbert algebras of fractions, Implicational (semilinear) logics. I: A new hierarchy, The expressive unary truth functions of \(n\)-valued logic, Priestley duality for paraconsistent Nelson's logic, Axioms for a theory of semantic equivalence, A representation theorem for polyadic Heyting algebras, Constructive logic with strong negation is a substructural logic. II, Behavioral algebraization of logics, Predicate logical extensions of some subintuitionistic logics, The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete, Taking degrees of truth seriously, Nelson algebras through Heyting ones. I, Data types over multiple-valued logics, Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies, On the structure of varieties with equationally definable principal congruences. II, Expansions of semi-Heyting algebras. I: Discriminator varieties, Equational spectrum of Hilbert varieties, On the free frontal implicative semilattice extension of a frontal Hilbert algebra, Basic properties of the equivalence, Analysis of the Einstein-Podolsky-Rosen experiment by relativistic quantum logic, Nondeterministic three-valued logic: isotonic and guarded truth-functions, Languages of similarity, Topological duality for distributive Ockham algebras, Some representable De Morgan algebras, Enumerating fuzzy switching functions and free Kleene algebras, Products of finitely based varieties of Brouwerian semilattices, Logical matrices and the amalgamation property, On the degree of complexity of sentential logics. II: An example of the logic with semi-negation, Evaluation of combinations of conditioned information: A history, Some investigations of varieties of \({\mathcal N}\)-lattices, The Craig interpolation theorem for propositional logics with strong negation, The class of extensions of Nelson's paraconsistent logic, Nelson's negation on the base of weaker versions of intuitionistic negation, A theory of conditional information for probabilistic inference in intelligent systems. II: Product space approach, Inducing implication relations, On the structure of varieties with equationally definable principal congruences. III, Algebraic study of Sette's maximal paraconsistent logic, An algebraic theory of normal forms, A partially ordered extension of the integers, On relationship between modified sets, topological spaces and rough sets, Symmetrical Heyting algebras with a finite order type of operators, The abstract variable-binding calculus, Maximal weakly-intuitionistic logics, On completeness theorems for feature logics, On Ockham algebras: Congruence lattices and subdirectly irreducible algebras, Finite distributive semilattices, The logic induced by effect algebras, A duality for two-sorted lattices, Twist structures and Nelson conuclei, Natural deduction for Post's logics and their duals, Sequent calculi for semi-De Morgan and De Morgan algebras, Classification of weak De Morgan algebras, Axiomatic extensions of the constructive logic with strong negation and the disjunction property, On finite-valued propositional logical calculi, Some implicative topological quasi-Boolean algebras and rough set models, Lattices arising in categorial investigations of Hedetniemi's conjecture, Algebraic structures in the vicinity of pre-rough algebra and their logics. II, Many-valued logic and mixed integer programming, Algebraic aspects of relatively pseudocomplemented posets, On elementary equivalence in fuzzy predicate logics, On some classes of Heyting algebras with successor that have the amalgamation property, Admissibility in positive logics, Proof theory for positive logic with weak negation, On the lattice of deductive systems of a BL-algebra, Expanding \(\text{FL}_{ew}\) with a Boolean connective, On congruences in weak implicative semi-lattices, On derived algebras and subvarieties of implication zroupoids, The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3, Selfextensional logics with a distributive nearlattice term, A closer look at some subintuitionistic logics, Special classes of positive implication algebras., Rotation logics, Fuzzy relational modalities admitting truth-valueless propositions, Resolution approximation of first-order logics, A class of implicative expansions of Kleene's strong logic, a subclass of which is shown functionally complete via the precompleteness of Łukasiewicz's 3-valued logic Ł3, A semantic hierarchy for intuitionistic logic, Basic quasi-Boolean expansions of relevance logics, Defining rough sets as core-support pairs of three-valued functions, Algebraization of quantifier logics, an introductory overview, Semi-intuitionistic logic with strong negation, Priestley duality and quotient lattices of many-valued algebras, Strong versus weak quantum consequence operations, Endomorphisms of implication algebras, Extension properties and subdirect representation in abstract algebraic logic, Beyond Rasiowan systems: unital deductive systems, On functions definable in implicational algebras, Adjoint interpretations of sentential calculi, Negative equivalence of extensions of minimal logic, Fuzzy sets and formal logics, A survey of weak connectives and the preservation of their properties by aggregations, Triangular norm based predicate fuzzy logics, On the structure of paraconsistent extensions of Johansson's logic, Orthoimplication algebras, Matrix approach in methodology of sentential calculi, S-algebras and the degrees of maximality for three and four valued logics of Lukasiewicz, An algebraic study of tense operators on Nelson algebras, Equational axioms for classes of Heyting algebras, An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.), Degrees of maximality of Łukasiewicz-like sentential calculi, Prelinear Hilbert algebras, On prelinear Hilbert algebras with successor, Lattices related to Post algebras and their applications to some logical systems, Kleene algebra of partial predicates, On three-valued implicative systems, Symmetric implication zroupoids and identities of Bol-Moufang type, Delinearization of quantum logic, A study of Kripke-type models for some modal logics by Gentzen's sequential method, Two views of the theory of rough sets in finite universes, Quasi-decompositions and quasidirect products of Hilbert algebras, Interior algebras and varieties, Semidistributivity and whitman property in implication zroupoids, Topological representations of Post algebras of order \(\omega ^ +\) and open theories based on \(\omega ^ +\)-valued Post logic, Key notions of Tarski's methodology of deductive systems, Modifiers connect \(L\)-fuzzy sets to topological spaces, On fuzzinesstic measures of entropy on Kleene algebras, Implicational tonoid logics: algebraic and relational semantics, Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras, Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi, Distributive lattices with a dual homomorphic operation. II, On the structure of varieties with equationally definable principal congruences. I, Paraconsistent logics and translations, Boolean connection algebras: A new approach to the Region-Connection Calculus, A formal model for verification of dynamic consistency of KBSs, Constructive and algebraic methods of the theory of rough sets, A comparative study of fuzzy sets and rough sets, Symmetrical Heyting algebras of order \(3\times 3\), Involutory and invertible fuzzy BCK-algebras, Logics of order and related notions, Axiomatization and completeness of uncountably valued approximation logic, \(\mathcal S\)-prealgebras, Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic, A categorical equivalence for tense Nelson algebras, Informational interpretation of substructural propositional logics, Solid weak BCC-algebras, Semilattice Pseudo-complements on Semigroups, Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics, A new hierarchy of infinitary logics in abstract algebraic logic, On the free implicative semilattice extension of a Hilbert algebra, ALGEBRAICALLY EXPANDABLE CLASSES OF IMPLICATION ALGEBRAS, Central internal algebras and varieties, Termination of logic programs with imperfect information: applications and query procedure, Associativity, commutativity and symmetry in residuated structures, Dialectical Rough Sets, Parthood and Figures of Opposition-I, Some properties of epimorphisms of Hilbert algebras, Modularity results for interpolation, amalgamation and superamalgamation, Automated theorem proving by resolution in non-classical logics, Axiomatization of the De Morgan type rules, Extended-order algebras and fuzzy implicators, Characteristic formulas of partial Heyting algebras, Unnamed Item, Relation between Sheffer Stroke and Hilbert algebras, Topological representation of intuitionistic and distributive abstract logics, New Algebras and Logic from a Category of Rough Sets, Semisimple varieties of implication zroupoids, The deduction theorem for quantum logic—some negative results, Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985, An infinity of super-Belnap logics, On deductive bases for paraconsistent answer set semantics, Semi-Nelson algebras, Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic, Diagrammatic duality, Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, Consequence and Degrees of Truth in Many-Valued Logic, Cyclic Elements in MV‐Algebras and Post Algebras, JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS, Mathematical Fuzzy Logics, A deterministic weakening of Belnap-Dunn logic, An algebraic approach to intuitionistic connectives, A new combination procedure for the word problem that generalizes fusion decidability results in modal logics, Towards Fuzzy Partial Set Theory, The Beth property in algebraic logic, On the closure properties of the class of full G-models of a deductive system, A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE, Discrete duality for Nelson algebras with tense operators, Helena Rasiowa (1917–1994), Post Algebras in the Work of Helena Rasiowa, The Lvov-Warsaw School: A True Mythology, Struktursätze der Algebra und Kompliziertheit logischer Schemata. III Algebraische Theorien und Verallgemeinerungen, Skew lattices and binary operations on functions, Topologies associated to (dual) fuzzy approximation operators on fuzzy finite state automata, Hilbert algebras as implicative partial semilattices, Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations, Three Lessons on the Topological and Algebraic Hidden Core of Rough Set Theory, Algebraic Representation, Dualities and Beyond, PROTECTION AS A GENERAL SYSTEMS PROBLEM, Plug and Play Negations, Formal systems of fuzzy logic and their fragments, THE LOGIC OF AUTOMATA, Fuzzy intensional semantics, Topological structures in rough set theory: A survey, Unnamed Item, Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability, Rough 3-valued algebras, Fuzzy logics as the logics of chains, The logic of tied implications. I: Properties, applications and representation, VARIETIES OF EQUALITY STRUCTURES, Beyond Rasiowa's algebraic approach to non-classical logics, Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches, Definability and interpolation in non-classical logics, Valuations: bi, tri, and tetra, Weakly implicative (fuzzy) logics. I: Basic properties, Issues on adjointness in multiple-valued logics, A note on Hilbert algebras and their related generalized Esakia spaces, Many-Valued Logics and Translations, Tripos theory, Soft Constraints Processing over Divisible Residuated Lattices, Paraconsistent Modal Logics, Non-classical operations hidden in classical logic, Extended-order algebras as a generalization of posets, European Summer Meeting of the Association for Symbolic Logic, Paris, 1985, Finitely generated free Heyting algebras, Unnamed Item, Compatibly involutive residuated lattices and the Nelson identity, Variations of the free implicative semilattice extension of a Hilbert algebra, On weak implication algebra, Symmetric implication zroupoids and weak associative laws, A first approach to abstract modal logics, Unnamed Item, On theories and models in fuzzy predicate logics, Equivalential and algebraizable logics, Super-Strict Implications, A family of genuine and non-algebraisable C-systems, Formations, bihomorphisms and natural transformations, A small set of axioms for residuated logic, Quasi-Nelson algebras, 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05, Consequence Relations with Real Truth Values, Implementing Local Intervals in CASL, Weakly algebraizable logics, On Special Implicative Filters, Quasi-Nelson algebras and fragments, On some semi-intuitionistic logics, Ockham Algebras—An Urquhart Legacy, V. Yankov’s Contributions to Propositional Logic, The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond, On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences, Updates in answer set programming: An approach based on basic structural properties, Modal operators on pseudo-BE algebras, Filtering unification and most general unifiers in modal logic, A note on chain‐based semi‐Heyting algebras, Is Logic Relevant to Classifications?, Unnamed Item, Is there a neutral metalanguage?, Monteiro's algebraic notion of maximal consistent theory for Tarskian logics, On the logic of distributive nearlattices, Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras, Decidability in Pre-rough Algebras: Extended Abstract, Book review of: P. Cintula, C. Noguera, Logic and implication. An introduction to the general algebraic study of non-classical logics, Kripke contexts, double Boolean algebras with operators and corresponding modal systems, Fuzzy logics – quantitatively, Abstract algebraic logic. An introductory chapter, An algebraic investigation of the connexive logic \(\mathsf{C}\), Quasi-Boolean based models in rough set theory: a case of covering, Relational semantics for normal topological quasi-Boolean logic, Helena Rasiowa (1917-1994) Life and Personality, Characterizations of near-Heyting algebras, Implication algebras and implication semigroups of binary relations, Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications, Basic Four-Valued Systems of Cyclic Negations, A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions, An algebraic glimpse at bunched implications and separation logic, Conservative expansions of substructural logics, Unnamed Item, Protoalgebraic logics, The simplest protoalgebraic logic, Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness, Layman's probability theory: A calculus for reasoning with linguistic likelihood, On the axiomatic approach to freedom as opportunity: A general characterization result, Quotient structures of some implicative algebras via fuzzy implicative filters, Lattice of closure endomorphisms of a Hilbert algebra, On Algebraisation of Superintuitionistic Predicate Logics, Subordination Tarski algebras, COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS, Semi-Heyting Algebras and Identities of Associative Type, Congruences and Closure Endomorphisms of Hilbert Algebras, Approximation Schemes in Logic and Artificial Intelligence, A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS, Constructive Modalities with Provability Smack
