On the public citation graph

Boolean Algebras with Operators

https://doi.org/10.2307/2372074
0 signed · 662 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/9781118882139.ch13openalex-snapshot
Curry Typing, Polymorphism, and Fine‐Grained Intensionality
inferred← citeshttps://doi.org/10.1002/malq.19860321703openalex-snapshot
Differentialoperatoren Über Booleschen Algebren
inferred← citeshttps://doi.org/10.1002/malq.19870330105openalex-snapshot
Syllogistics of Some Theories
inferred← citeshttps://doi.org/10.1002/malq.19890350405openalex-snapshot
Finitary Algebraic Logic
inferred← citeshttps://doi.org/10.1002/malq.19950410207openalex-snapshot
Binary Relations and Permutation Groups
inferred← citeshttps://doi.org/10.1002/malq.19950410404openalex-snapshot
Initial Objects, Universal Objects for Squares, Equivalences and Congruences in Relation Semi‐Algebras and Algebras
inferred← citeshttps://doi.org/10.1002/malq.200510022openalex-snapshot
Monadic dynamic algebras
inferred← citeshttps://doi.org/10.1002/malq.201900071openalex-snapshot
More about divisibility in βN
inferred← citeshttps://doi.org/10.1002/mana.19700460105openalex-snapshot
Completions of B OOLEAN Algebras with operators
inferred← citeshttps://doi.org/10.1006/inco.2001.2973openalex-snapshot
Tarskian Set Constraints
inferred← citeshttps://doi.org/10.1006/jabr.2000.8622openalex-snapshot
Bounded Lattice Expansions
inferred← citeshttps://doi.org/10.1007/11548133_26openalex-snapshot
Bireachability and Final Multialgebras
inferred← citeshttps://doi.org/10.1007/11548669_14openalex-snapshot
Algebraic Approach to Generalized Rough Sets
inferred← citeshttps://doi.org/10.1007/11828563_21openalex-snapshot
Monotone Predicate Transformers as Up-Closed Multirelations
inferred← citeshttps://doi.org/10.1007/11893004_111openalex-snapshot
Logic Determined by Boolean Algebras with Conjugate
inferred← citeshttps://doi.org/10.1007/11964810_13openalex-snapshot
Lattice-Based Relation Algebras II
inferred← citeshttps://doi.org/10.1007/11964810_2openalex-snapshot
Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView
inferred← citeshttps://doi.org/10.1007/3-540-36280-0_15openalex-snapshot
Relational Constructions in Goguen Categories
inferred← citeshttps://doi.org/10.1007/3-540-44669-9_34openalex-snapshot
Compositional Homomorphisms of Relational Structures
inferred← citeshttps://doi.org/10.1007/3-540-45424-1_5openalex-snapshot
When Tables Tell It All: Qualitative Spatial and Temporal Reasoning Based on Linear Orderings
inferred← citeshttps://doi.org/10.1007/3-540-45813-1_15openalex-snapshot
On the Structure of Rough Approximations
inferred← citeshttps://doi.org/10.1007/3-540-45813-1_22openalex-snapshot
About Tolerance and Similarity Relations in Information Systems
inferred← citeshttps://doi.org/10.1007/3-540-48384-5_12openalex-snapshot
Simple Models for Simple Calculi
inferred← citeshttps://doi.org/10.1007/3-540-57182-5_9openalex-snapshot
The second calculus of binary relations
inferred← citeshttps://doi.org/10.1007/3-540-57322-4_4openalex-snapshot
A symbolic approach to interval constraint problems
inferred← citeshttps://doi.org/10.1007/3-540-58233-9_4openalex-snapshot
Prototyping relational specifications using higher-order objects
inferred← citeshttps://doi.org/10.1007/3-540-59293-8_186openalex-snapshot
Rational spaces and set constraints
inferred← citeshttps://doi.org/10.1007/3-540-60043-4_46openalex-snapshot
Information algebras
inferred← citeshttps://doi.org/10.1007/3-540-61440-0_123openalex-snapshot
A complete gentzen-style axiomatization for set constraints
inferred← citeshttps://doi.org/10.1007/3-540-64299-4_48openalex-snapshot
Categories of relational structures
inferred← citeshttps://doi.org/10.1007/978-1-4020-5587-4_3openalex-snapshot
Axioms, Algebras and Topology
inferred← citeshttps://doi.org/10.1007/978-1-4471-3227-1_16openalex-snapshot
Comparing Two Different Approaches to Products in Abstract Relation Algebra
inferred← citeshttps://doi.org/10.1007/978-1-4471-3227-1_4openalex-snapshot
Relation Algebras for Reasoning about Time and Space
inferred← citeshttps://doi.org/10.1007/978-3-030-02149-8_5openalex-snapshot
T-Norm Based Operations in Arrow Categories
inferred← citeshttps://doi.org/10.1007/978-3-030-12096-2_3openalex-snapshot
Duality Theory: Hybrids
inferred← citeshttps://doi.org/10.1007/978-3-030-38565-1_11openalex-snapshot
Duality via Truth for Some Fuzzy Modal Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-43520-2_1openalex-snapshot
Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests
inferred← citeshttps://doi.org/10.1007/978-3-030-43520-2_8openalex-snapshot
Weakening Relation Algebras and FL$$^2$$-algebras
inferred← citeshttps://doi.org/10.1007/978-3-030-64187-0_11openalex-snapshot
Undecidability of Algebras of Binary Relations
inferred← citeshttps://doi.org/10.1007/978-3-030-64187-0_13openalex-snapshot
Canonical Relativized Cylindric Set Algebras and Weak Associativity
inferred← citeshttps://doi.org/10.1007/978-3-030-64187-0_9openalex-snapshot
On the Semilattice of Modal Operators and Decompositions of the Discriminator
inferred← citeshttps://doi.org/10.1007/978-3-030-71430-7_13openalex-snapshot
Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
inferred← citeshttps://doi.org/10.1007/978-3-030-71430-7_3openalex-snapshot
Tarskian Classical Relevant Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-76920-8_4openalex-snapshot
Topological Duality and Algebraic Completions
inferred← citeshttps://doi.org/10.1007/978-3-030-88701-8_25openalex-snapshot
Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge
inferred← citeshttps://doi.org/10.1007/978-3-030-88701-8_6openalex-snapshot
$$\ell r$$-Multisemigroups, Modal Quantales and the Origin of Locality
inferred← citeshttps://doi.org/10.1007/978-3-030-88701-8_7openalex-snapshot
Abstract Strategies and Coherence
inferred← citeshttps://doi.org/10.1007/978-3-030-93100-1_17openalex-snapshot
Reducts of Relation Algebras: The Aspects of Axiomatisability and Finite Representability
inferred← citeshttps://doi.org/10.1007/978-3-031-24117-8_4openalex-snapshot
A Cook’s Tour of Duality in Logic: From Quantifiers, Through Vietoris, to Measures
inferred← citeshttps://doi.org/10.1007/978-3-031-24117-8_5openalex-snapshot
Stone Duality for Relations
inferred← citeshttps://doi.org/10.1007/978-3-031-39113-2_2openalex-snapshot
Deep Learning Opacity, and the Ethical Accountability of AI Systems. A New Perspective
inferred← citeshttps://doi.org/10.1007/978-3-031-47921-2_2openalex-snapshot
Lewisian Fixed Points I: Two Incomparable Constructions
inferred← citeshttps://doi.org/10.1007/978-3-031-56595-3_7openalex-snapshot
Algebras and Relational Frames for Gödel Modal Logic and Some of its Extensions
inferred← citeshttps://doi.org/10.1007/978-3-031-57228-9_8openalex-snapshot
Monoidal Extended Stone Duality
inferred← citeshttps://doi.org/10.1007/978-3-032-22469-9_8openalex-snapshot
Contractions of Quasi Relation Algebras and Applications to Representability
inferred← citeshttps://doi.org/10.1007/978-3-032-22469-9_9openalex-snapshot
Pregroup Representable Expansions of Residuated Lattices
inferred← citeshttps://doi.org/10.1007/978-3-0346-0145-0_15openalex-snapshot
‘Rolling Down the River’: Saul Kripke and the Course of Modal Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-06025-5_34openalex-snapshot
Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras
inferred← citeshttps://doi.org/10.1007/978-3-319-06251-8_17openalex-snapshot
Higher-Order Arrow Categories
inferred← citeshttps://doi.org/10.1007/978-3-319-06251-8_18openalex-snapshot
Type-2 Fuzzy Controllers in Arrow Categories
inferred← citeshttps://doi.org/10.1007/978-3-319-06251-8_4openalex-snapshot
Algebras for Program Correctness in Isabelle/HOL
inferred← citeshttps://doi.org/10.1007/978-3-319-06743-8_1openalex-snapshot
Algebraic Duality
inferred← citeshttps://doi.org/10.1007/978-3-319-09719-0_20openalex-snapshot
Changing a Semantics: Opportunism or Courage?
inferred← citeshttps://doi.org/10.1007/978-3-319-24704-5_18openalex-snapshot
L-Fuzzy Databases in Arrow Categories
inferred← citeshttps://doi.org/10.1007/978-3-319-24704-5_8openalex-snapshot
Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective
inferred← citeshttps://doi.org/10.1007/978-3-319-25007-6_15openalex-snapshot
An Algebra of Qualitative Taxonomical Relations for Ontology Alignments
inferred← citeshttps://doi.org/10.1007/978-3-319-29300-4_14openalex-snapshot
Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators
inferred← citeshttps://doi.org/10.1007/978-3-319-40370-0_11openalex-snapshot
Coalgebraic Completeness-via-Canonicity
inferred← citeshttps://doi.org/10.1007/978-3-319-52234-0_10openalex-snapshot
Complete Abstractions and Subclassical Modal Logics
inferred← citeshttps://doi.org/10.1007/978-3-319-57418-9_19openalex-snapshot
Type-n Arrow Categories
inferred← citeshttps://doi.org/10.1007/978-3-319-57418-9_9openalex-snapshot
Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras
inferred← citeshttps://doi.org/10.1007/978-3-319-67696-8_4openalex-snapshot
Semipowers
inferred← citeshttps://doi.org/10.1007/978-3-319-67696-8_5openalex-snapshot
Simple Closures
inferred← citeshttps://doi.org/10.1007/978-3-319-67696-8_6openalex-snapshot
Quasi-Bijective Relation Algebras
inferred← citeshttps://doi.org/10.1007/978-3-319-67696-8_7openalex-snapshot
Quotient Relation Algebras and Equijections
inferred← citeshttps://doi.org/10.1007/978-3-319-67696-8_9openalex-snapshot
Group and Geometric Quotient Semiproducts
inferred← citeshttps://doi.org/10.1007/978-3-319-69917-2_5openalex-snapshot
Characteristic Formulas Over Intermediate Logics
inferred← citeshttps://doi.org/10.1007/978-3-319-69917-2_9openalex-snapshot
Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics
inferred← citeshttps://doi.org/10.1007/978-3-319-73579-5openalex-snapshot
Dynamic Logic. New Trends and Applications
inferred← citeshttps://doi.org/10.1007/978-3-319-73579-5_10openalex-snapshot
Dynamic Logic: A Personal Perspective
inferred← citeshttps://doi.org/10.1007/978-3-319-74772-9_4openalex-snapshot
Introducing Boolean Semilattices
inferred← citeshttps://doi.org/10.1007/978-3-540-24615-2_10openalex-snapshot
Approximation Operators in Qualitative Data Analysis
inferred← citeshttps://doi.org/10.1007/978-3-540-24615-2_11openalex-snapshot
Lattice–Based Relation Algebras and Their Representability
inferred← citeshttps://doi.org/10.1007/978-3-540-24615-2_12openalex-snapshot
Binary Multirelations
inferred← citeshttps://doi.org/10.1007/978-3-540-27815-3_30openalex-snapshot
Modal Kleene Algebra and Partial Correctness
inferred← citeshttps://doi.org/10.1007/978-3-540-31982-5_28openalex-snapshot
Expressivity of Coalgebraic Modal Logic: The Limits and Beyond
inferred← citeshttps://doi.org/10.1007/978-3-540-31982-5_29openalex-snapshot
Duality for Logics of Transition Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-45091-7_5openalex-snapshot
Intensional Formalization of Conceptual Structures
inferred← citeshttps://doi.org/10.1007/978-3-540-70594-9_19openalex-snapshot
Modal Semirings Revisited
inferred← citeshttps://doi.org/10.1007/978-3-540-71070-7_5openalex-snapshot
On Automating the Calculus of Relations
inferred← citeshttps://doi.org/10.1007/978-3-540-71200-8_22openalex-snapshot
Lattice Theory for Rough Sets
inferred← citeshttps://doi.org/10.1007/978-3-540-71663-1_9openalex-snapshot
Characterizing Pawlak’s Approximation Operators
inferred← citeshttps://doi.org/10.1007/978-3-540-73451-2_4openalex-snapshot
Rough Sets and Approximation Schemes
inferred← citeshttps://doi.org/10.1007/978-3-540-73451-2_7openalex-snapshot
Discrete Duality and Its Applications to Reasoning with Incomplete Information
inferred← citeshttps://doi.org/10.1007/978-3-540-77664-2_18openalex-snapshot
Completions of Ordered Algebraic Structures: A Survey
inferred← citeshttps://doi.org/10.1007/978-3-540-78499-9_6openalex-snapshot
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
inferred← citeshttps://doi.org/10.1007/978-3-540-78913-0_24openalex-snapshot
Knowledge and Games in Modal Semirings
inferred← citeshttps://doi.org/10.1007/978-3-540-89876-4_13openalex-snapshot
Context Algebras, Context Frames, and Their Discrete Duality
inferred← citeshttps://doi.org/10.1007/978-3-540-89876-4_8openalex-snapshot
Approximation Schemes in Logic and Artificial Intelligence
inferred← citeshttps://doi.org/10.1007/978-3-540-89982-2_25openalex-snapshot
On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP
inferred← citeshttps://doi.org/10.1007/978-3-642-04639-1_20openalex-snapshot
Discrete Duality for Relation Algebras and Cylindric Algebras
inferred← citeshttps://doi.org/10.1007/978-3-642-04639-1_5openalex-snapshot
Towards Algebraic Separation Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-13529-3_36openalex-snapshot
Unit Operations in Approximation Spaces
inferred← citeshttps://doi.org/10.1007/978-3-642-21070-9_12openalex-snapshot
An Algebraic Approach to Preference Relations
inferred← citeshttps://doi.org/10.1007/978-3-642-21070-9_24openalex-snapshot
Splitting Atoms in Relational Algebras
inferred← citeshttps://doi.org/10.1007/978-3-642-21070-9_5openalex-snapshot
Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
inferred← citeshttps://doi.org/10.1007/978-3-642-22303-7_6openalex-snapshot
A View of Canonical Extension
inferred← citeshttps://doi.org/10.1007/978-3-642-30341-8_2openalex-snapshot
Knowledge Algebras and Their Discrete Duality
inferred← citeshttps://doi.org/10.1007/978-3-642-30344-9_4openalex-snapshot
Zdzisław Pawlak, Databases and Rough Sets
inferred← citeshttps://doi.org/10.1007/978-3-642-33314-9_14openalex-snapshot
Relational Representation Theorem for Powerset Quantales
inferred← citeshttps://doi.org/10.1007/978-3-642-35025-2_9openalex-snapshot
Representable Cylindric Algebras and Many-Dimensional Modal Logics
inferred← citeshttps://doi.org/10.1007/978-3-642-37075-5_13openalex-snapshot
Some Sahlqvist Completeness Results for Coalgebraic Logics
inferred← citeshttps://doi.org/10.1007/978-3-642-40184-8_34openalex-snapshot
Generalizing Simulation to Abstract Domains
inferred← citeshttps://doi.org/10.1007/978-3-642-40206-7_6openalex-snapshot
Positive Fragments of Coalgebraic Logics
inferred← citeshttps://doi.org/10.1007/978-3-642-54789-8_8openalex-snapshot
Multi-Sorted Residuation
inferred← citeshttps://doi.org/10.1007/978-3-662-47197-5_4openalex-snapshot
Finite-Chain Graded Modal Logic
inferred← citeshttps://doi.org/10.1007/978-3-662-55386-2_24openalex-snapshot
On Two Concepts of Ultrafilter Extensions of First-Order Models and Their Generalizations
inferred← citeshttps://doi.org/10.1007/978-3-662-55386-2_28openalex-snapshot
Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces
inferred← citeshttps://doi.org/10.1007/978-3-662-59533-6_7openalex-snapshot
Non Normal Logics: Semantic Analysis and Proof Theory
inferred← citeshttps://doi.org/10.1007/978-3-7091-6045-9_17openalex-snapshot
Commentary on the Algebra of Analysis and Algebra of Functions
inferred← citeshttps://doi.org/10.1007/978-3-7908-1769-0_3openalex-snapshot
Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving
inferred← citeshttps://doi.org/10.1007/978-3-7908-1828-4_16openalex-snapshot
Beyond Modalities: Sufficiency and Mixed Algebras
inferred← citeshttps://doi.org/10.1007/978-3-7908-1840-6_10openalex-snapshot
Logical and Algebraic Techniques for Rough Set Data Analysis
inferred← citeshttps://doi.org/10.1007/978-3-7908-1888-8_1openalex-snapshot
Introduction: What You Always Wanted to Know about Rough Sets
inferred← citeshttps://doi.org/10.1007/978-94-007-7046-1_5openalex-snapshot
Deontic Logics Based on Boolean Algebra
inferred← citeshttps://doi.org/10.1007/978-94-009-6259-0_1openalex-snapshot
Basic Modal Logic
inferred← citeshttps://doi.org/10.1007/978-94-009-9056-2_16openalex-snapshot
Standard vs. Nonstandard Logic: Higher-Order, Modal, and First-Order Logics
inferred← citeshttps://doi.org/10.1007/978-94-010-0500-5_2openalex-snapshot
Provability in Logic
inferred← citeshttps://doi.org/10.1007/978-94-010-0500-5_21openalex-snapshot
Choice and Modality
inferred← citeshttps://doi.org/10.1007/978-94-010-0500-5_22openalex-snapshot
Choice Based on Preference
inferred← citeshttps://doi.org/10.1007/978-94-010-0526-5_3openalex-snapshot
A Representation of Relation Algebras Using Routley-Meyer Frames
inferred← citeshttps://doi.org/10.1007/978-94-011-5250-1_9openalex-snapshot
An Exposition and Development of Kanger’s Early Semantics for Modal Logic
inferred← citeshttps://doi.org/10.1007/978-94-015-1288-6_2openalex-snapshot
B
inferred← citeshttps://doi.org/10.1007/978-94-015-8242-1_7openalex-snapshot
How Completeness and Correspondence Theory Got Married
inferred← citeshttps://doi.org/10.1007/978-94-015-8311-4_1openalex-snapshot
On the Interpretation of Attitude Logics
inferred← citeshttps://doi.org/10.1007/978-94-015-8875-1_13openalex-snapshot
Relations between Sets of Time Points and Quasi-Linear Orderings
inferred← citeshttps://doi.org/10.1007/978-94-017-0454-0_2openalex-snapshot
Advanced Modal Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-0697-1_6openalex-snapshot
A Survey of Boolean Algebras with Operators
inferred← citeshttps://doi.org/10.1007/978-94-017-3598-8_6openalex-snapshot
Questions of Canonicity
inferred← citeshttps://doi.org/10.1007/978-94-017-8860-1_2openalex-snapshot
Canonical Extensions, Esakia Spaces, and Universal Models
inferred← citeshttps://doi.org/10.1007/978-94-017-8860-1_3openalex-snapshot
Free Modal Algebras Revisited: The Step-by-Step Method
inferred← citeshttps://doi.org/10.1007/978-981-13-7791-4_6openalex-snapshot
A Road to Ultrafilter Extensions
inferred← citeshttps://doi.org/10.1007/bf00046564openalex-snapshot
A ?geometric? view of the dynamics of trajectories of computer programs
inferred← citeshttps://doi.org/10.1007/bf00136123openalex-snapshot
Remarks on the semantics of non-normal modal logics
inferred← citeshttps://doi.org/10.1007/bf00370149openalex-snapshot
Duality for algebras of relevant logics
inferred← citeshttps://doi.org/10.1007/bf00370158openalex-snapshot
An almost general splitting theorem for modal logic
inferred← citeshttps://doi.org/10.1007/bf00370426openalex-snapshot
Key notions of Tarski's methodology of deductive systems
inferred← citeshttps://doi.org/10.1007/bf00370431openalex-snapshot
An algebraic study of well-foundedness
inferred← citeshttps://doi.org/10.1007/bf00370681openalex-snapshot
The origin of relation algebras in the development and axiomatization of the calculus of relations
inferred← citeshttps://doi.org/10.1007/bf00370684openalex-snapshot
Algebraization of quantifier logics, an introductory overview
inferred← citeshttps://doi.org/10.1007/bf00383451openalex-snapshot
Remarks on Priestley duality for distributive lattices
inferred← citeshttps://doi.org/10.1007/bf01049412openalex-snapshot
Decidable and undecidable logics with a binary modality
inferred← citeshttps://doi.org/10.1007/bf01057646openalex-snapshot
On the canonicity of Sahlqvist identities
inferred← citeshttps://doi.org/10.1007/bf01058532openalex-snapshot
Sahlqvist's theorem for boolean algebras with operators with an application to cylindric algebras
inferred← citeshttps://doi.org/10.1007/bf01137437openalex-snapshot
Disjunctive property of superintuitionist and modal logics
inferred← citeshttps://doi.org/10.1007/bf01181878openalex-snapshot
Elementary generation and canonicity for varieties of Boolean algebras with operators
inferred← citeshttps://doi.org/10.1007/bf01182096openalex-snapshot
Total tense algebras and symmetric semiassociative relation algebras
inferred← citeshttps://doi.org/10.1007/bf01182249openalex-snapshot
Combinatorial aspects of relations
inferred← citeshttps://doi.org/10.1007/bf01188178openalex-snapshot
On the structure of varieties with equationally definable principal congruences IV
inferred← citeshttps://doi.org/10.1007/bf01190407openalex-snapshot
Representations of distributive lattice-ordered semigroups with binary relations
inferred← citeshttps://doi.org/10.1007/bf01190708openalex-snapshot
Decision problems for distributive lattice-ordered semigroups
inferred← citeshttps://doi.org/10.1007/bf01190815openalex-snapshot
Weakly representable but not representable relation algebras
inferred← citeshttps://doi.org/10.1007/bf01190856openalex-snapshot
One variable is not enough for defining relation algebras, but two are
inferred← citeshttps://doi.org/10.1007/bf01191084openalex-snapshot
Elementary equivalent pairs of algebras associated with sets
inferred← citeshttps://doi.org/10.1007/bf01191089openalex-snapshot
Free algebras in discriminator varieties
inferred← citeshttps://doi.org/10.1007/bf01191538openalex-snapshot
Minimal relation algebras
inferred← citeshttps://doi.org/10.1007/bf01191752openalex-snapshot
The well-founded algebras
inferred← citeshttps://doi.org/10.1007/bf01195500openalex-snapshot
Axiomatization of identity-free equations valid in relation algebras
inferred← citeshttps://doi.org/10.1007/bf01197179openalex-snapshot
Relativizations of relation algebras by the diversity
inferred← citeshttps://doi.org/10.1007/bf01200492openalex-snapshot
Perfect extensions of regular double Stone algebras
inferred← citeshttps://doi.org/10.1007/bf01215410openalex-snapshot
Peirce algebras
inferred← citeshttps://doi.org/10.1007/bf01221799openalex-snapshot
A perspective on the theory of relation algebras
inferred← citeshttps://doi.org/10.1007/bf01229966openalex-snapshot
An abstract theory of invertible relations
inferred← citeshttps://doi.org/10.1007/bf01229971openalex-snapshot
Finite fixed point algebras are subdiagonalisable
inferred← citeshttps://doi.org/10.1007/bf01236759openalex-snapshot
MP-algebras with relative types
inferred← citeshttps://doi.org/10.1007/bf01578706openalex-snapshot
The ternary discriminator function in universal algebra
inferred← citeshttps://doi.org/10.1007/bf01980737openalex-snapshot
Syntax and semantics of modal logics containing S4
inferred← citeshttps://doi.org/10.1007/bf01984693openalex-snapshot
Varieties of logical matrices
inferred← citeshttps://doi.org/10.1007/bf02021134openalex-snapshot
Splitting lattices of logics
inferred← citeshttps://doi.org/10.1007/bf02121661openalex-snapshot
Representation and duality theory for diagonalizable algebras
inferred← citeshttps://doi.org/10.1007/bf02125299openalex-snapshot
Algebraiczne ujęcie logiki tradycyjnej
inferred← citeshttps://doi.org/10.1007/bf02229851openalex-snapshot
Logic and metalogic
inferred← citeshttps://doi.org/10.1007/bf02483710openalex-snapshot
Equations not preserved by complete extensions
inferred← citeshttps://doi.org/10.1007/bf02483723openalex-snapshot
On the structure of varieties with equationally definable principal congruences I
inferred← citeshttps://doi.org/10.1007/bf02485385openalex-snapshot
Some sufficient conditions for the representability of relation algebras
inferred← citeshttps://doi.org/10.1007/bf02485744openalex-snapshot
Equationally semi-complete varieties
inferred← citeshttps://doi.org/10.1007/bf02573019openalex-snapshot
Relation algebras and function semigroups
inferred← citeshttps://doi.org/10.1007/bf03023831openalex-snapshot
A portrait of Alfred Tarski
inferred← citeshttps://doi.org/10.1007/bf03024832openalex-snapshot
Unifying threads in alfred tarski’s work
inferred← citeshttps://doi.org/10.1007/bfb0013020openalex-snapshot
Time, logic and computation
inferred← citeshttps://doi.org/10.1007/bfb0018431openalex-snapshot
Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators
inferred← citeshttps://doi.org/10.1007/bfb0018436openalex-snapshot
Action logic and pure induction
inferred← citeshttps://doi.org/10.1007/bfb0023418openalex-snapshot
A modal theory of arrows. Arrow logics I
inferred← citeshttps://doi.org/10.1007/bfb0043075openalex-snapshot
Relatively free relation algebras
inferred← citeshttps://doi.org/10.1007/bfb0043079openalex-snapshot
Dynamic algebras as a well-behaved fragment of relation algebras
inferred← citeshttps://doi.org/10.1007/bfb0043089openalex-snapshot
Noncommutative cylindric algebras and relativizations of cylindric algebras
inferred← citeshttps://doi.org/10.1007/bfb0049332openalex-snapshot
Logical aspects of set constraints
inferred← citeshttps://doi.org/10.1007/bfb0098452openalex-snapshot
Clones of operations on relations
inferred← citeshttps://doi.org/10.1007/bfb0098465openalex-snapshot
Finite integral relation algebras
inferred← citeshttps://doi.org/10.1007/pl00003923openalex-snapshot
Unification of Four Versions of Program Semantics
showing the first 200 of 662 · page through all 662
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.