scientific article; zbMATH DE number 3198011

zbMath0122.24311MaRDI QIDQ5734410

Roman Sikorski, Helena Rasiowa

Publication date: 1963

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

mathematical logic

Related Items

Quasitopoi, logic and Heyting-valued models ⋮ A new approach for classification of filters in residuated lattices ⋮ Characterizations and new subclasses of \(\mathcal{I}\)-filters in residuated lattices ⋮ Admissible bases via stable canonical rules ⋮ Raney algebras and duality for \(T_0\)-spaces ⋮ On decidable consequence operators ⋮ Q-ultrafilters and normal ultrafilters in B-algebras ⋮ Matching topological and frame products of modal logics ⋮ On superintuitionistic logics as fragments of proof logic extensions ⋮ Lindenbaum algebras of intuitionistic theories and free categories ⋮ Non-usual orthocomplementations on partially ordered sets and fuzziness ⋮ Compact Hausdorff Heyting algebras ⋮ A model for spacetime: the role of interpretation in some Grothendieck topoi ⋮ Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ A topological completion of refined hedge algebras and a model of fuzziness of linguistic terms and hedges ⋮ Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS) ⋮ Commutative algebra in the Mizar system ⋮ Propositional logic for topology-like matrices: A calculus with restricted substitution ⋮ Joint consistency in extensions of the minimal logic ⋮ Relational dual tableau decision procedures and their applications to modal and intuitionistic logics ⋮ Funayama's theorem revisited ⋮ Intuitionistic completeness of first-order logic ⋮ Algebraic semantics and model completeness for intuitionistic public announcement logic ⋮ Simple weakly transitive modal algebras ⋮ An algebraic axiomatization of the Ewald's intuitionistic tense logic ⋮ Some types of filters in residuated lattices ⋮ Intuitionistic logic and Muchnik degrees ⋮ Fine hierarchies via Priestley duality ⋮ The quasi-lattice of indiscernible elements ⋮ Completeness of \(\mathrm S4\) for the Lebesgue measure algebra ⋮ Weak interpolation in extensions of the logics S4 and K4 ⋮ Restricted interpolation property in superintuitionistic logics ⋮ Algebraic models of deviant modal operators based on De Morgan and Kleene lattices ⋮ The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem ⋮ On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations ⋮ Pluri-adjoints and preservation of finite limits ⋮ Topological models of epistemic set theory ⋮ Interpolation and definability over the logic Gl ⋮ Fatal Heyting algebras and forcing persistent sentences ⋮ Not every splitting Heyting or interior algebra is finitely presentable ⋮ Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics ⋮ Foreword to the special issue dedicated to the memory of Leo Esakia ⋮ Topological proofs of some Rasiowa-Sikorski lemmas ⋮ 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 ⋮ Determinism and looping in combinatory PDL ⋮ The Lyndon property and uniform interpolation over the Grzegorczyk logic ⋮ Algebraic axiomatization of tense intuitionistic logic ⋮ First order \(S4\) and its measure-theoretic semantics ⋮ The semi Heyting-Brouwer logic ⋮ Logical analysis of demonic nondeterministic programs ⋮ Semi-metrics, closure spaces and digital topology ⋮ A new constant in superintuitionistic logic L3 ⋮ Generalized sketches as a framework for completeness theorems. I-III ⋮ Spatial logic of tangled closure operators and modal mu-calculus ⋮ The logical representation of extensive games ⋮ A characterization of interval-valued residuated lattices ⋮ Interpolation in weakly transitive modal logics ⋮ Decidability of the weak interpolation property over the minimal logic ⋮ An algebraic approach to linguistic hedges in Zadeh's fuzzy logic ⋮ Kripke completeness of infinitary predicate multimodal logics ⋮ Dynamic topological logic ⋮ Completeness of S4 with respect to the real line: revisited ⋮ Dynamic measure logic ⋮ Axioms for a theory of semantic equivalence ⋮ Epistemic and intuitionistic formal systems ⋮ Concerning a quantum-like uncertainty relation for pairs of complementary fuzzy sets ⋮ Filters of residuated lattices and triangle algebras ⋮ Tableaux and dual tableaux: transformation of proofs ⋮ The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. ⋮ A way to interpret Łukasiewicz logic and basic logic ⋮ The pseudo-linear semantics of interval-valued fuzzy logics ⋮ Comparison of MacNeille, canonical, and profinite completions ⋮ The method of axiomatic rejection for the intuitionistic propositional logic ⋮ Modal languages for topology: expressivity and definability ⋮ Using forcing to prove completeness of resolution and paramodulation ⋮ Valuations on distributive lattices. I, II, III ⋮ On the structure of varieties with equationally definable principal congruences. II ⋮ Expansions of semi-Heyting algebras. I: Discriminator varieties ⋮ Semi-intuitionistic logic ⋮ Logic in India -- editorial introduction ⋮ A new methodology for developing deduction methods ⋮ A foundation for support theory based on a non-Boolean event space ⋮ Basic properties of the equivalence ⋮ Logical foundation approach to users' domain restriction in data bases ⋮ A deontic logic of action ⋮ Representation of nondeterministic information ⋮ Functors between categories of three-valued Lukasiewicz-Moisil algebras. I ⋮ The real-algebraic structure of Scott's model of intuitionistic analysis ⋮ An effective representation for finitely generated free interior algebras ⋮ PDL with data constants ⋮ Trees and diagrams of decomposition ⋮ An essay in combinatory dynamic logic ⋮ A portrait of Alfred Tarski ⋮ Programs and logics ⋮ The theory of Boolean algebras with an additional binary operation ⋮ Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra ⋮ An application of Rieger-Nishimura formulas to the intuitionistic modal logics ⋮ Some results on modal axiomatization and definability for topological spaces ⋮ The Whitman condition in the Heyting arrow lattice for relational biologic processes ⋮ Correspondences between the Heyting arrow lattices of a distributive lattice and its sublattices in relational biologic systems ⋮ Algebraic study of Sette's maximal paraconsistent logic ⋮ First-order fuzzy logic ⋮ First-order approximation of algorithmic theories ⋮ Models for stronger normal intuitionistic modal logics ⋮ Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator ⋮ Disjunctions in closure spaces ⋮ Universality of the closure space of filters in the algebra of all subsets ⋮ Pseudocomplementation and minimal prime ideals in semirings ⋮ A natural semantics for modal logic over databases ⋮ A complete axiomatic characterization of first-order temporal logic of linear time ⋮ Proof system for weakest prespecification ⋮ The algebraic relational theory in the analysis of the reversibility of biological processes becoming malignant ⋮ The equational theory of parameterized specifications ⋮ Open problems from the 2nd International Conference on Fuzzy Sets Theory and Its Applications ⋮ Lattices due to increasing low energy relational processes ⋮ A content semantics for quantified relevant logics. I ⋮ Mathematics of totalities: An alternative to mathematics of sets ⋮ Finite pseudo-Boolean and topo-Boolean algebras not having an independent basis of quasi-identities ⋮ Sequent-systems and groupoid models. I ⋮ Propositional quantification in the topological semantics for \(\mathbf S4\) ⋮ Generic absoluteness and Boolean names for elements of a Polish space ⋮ New operations in intuitionistic calculus ⋮ Intuitionistic diagonalizable algebras ⋮ Modal logics with LM-axioms ⋮ The structure of distributive double p-algebras. Regularity and congruences ⋮ The diagrams of formulas of the modal propositional S4 calculus ⋮ Interpolation properties of superintuitionistic logics ⋮ On two problems of Harvey Friedman ⋮ A parametric representation of linguistic hedges in Zadeh's fuzzy logic ⋮ Fuzzy sets: A topos-logical point of view ⋮ Representation theorems for theta-valued Lukasiewicz algebras ⋮ Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras ⋮ On the size of refutation Kripke models for some linear modal and tense logics ⋮ The well-founded algebras ⋮ Intuitionistic modal logics incompatible with the law of the excluded middle ⋮ On complementedly normal lattices ⋮ Probabilistic semantics objectified: I. Postulates and logics ⋮ On logic of complex algorithms ⋮ Categorical De Morgan laws ⋮ Strong completeness with respect to finite Kripke models ⋮ Information functions with applications ⋮ Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents ⋮ An algebraic treatment of the Barwise compactness theory ⋮ Computations in fragments of intuitionistic propositional logic ⋮ Implementing the `Fool's model' of combinatory logic ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Axiomatizing fixpoint logics ⋮ Modal companions of intermediate propositional logics ⋮ \(LT\)-fuzzy sets ⋮ The Heyting arrow lattice for qualitative relations in biological systems ⋮ Hilbert's \(\varepsilon{}\)-operator and classical logic ⋮ Treshold logic ⋮ Non-classical propositional calculi in relation to methodological patterns of scientific investigation ⋮ A categorical characterization of Boolean algebras ⋮ A note on deduction theorem for Gödel's propositional calculus G4 ⋮ Remarks on discussive propositional calculus ⋮ Some theorems on structural consequence operations ⋮ Constructing denumerable matrices strongly adequate for pre-finite logics ⋮ Implications in Boolean algebras with a two-valued closure operator ⋮ A lattice of normal modal logics ⋮ Mixed-valued predicate calculi ⋮ Proof of a conjecture of Roman Suszko ⋮ Orthoimplication algebras ⋮ Threshold logic. II ⋮ A sequence formalization for SCI ⋮ Projective and inductive generation of abstract logics ⋮ Relative pseudo-complements, join-extensions, and meet-retractions ⋮ Equational axioms for classes of Heyting algebras ⋮ Complete rings of sets and sentential logic ⋮ An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.) ⋮ Finite equational bases for finite algebras in a congruence-distributive equational class ⋮ On the autological character of diagonalizable algebras ⋮ Quantifier-complete categories ⋮ Congruence lattices of distributive \(p\)-algebras ⋮ Fuzzy propositional logic. Algebraic approach ⋮ On modal logic with an intuitionistic base ⋮ On some intuitionistic modal logics ⋮ Notes on \(\eta\)-lattices and constructive logic with strong negation ⋮ On many-valued logics, fuzzy sets, fuzzy logics and their applications ⋮ Generalized relatively pseudocomplemented lattices ⋮ On three-valued implicative systems ⋮ A study of Kripke-type models for some modal logics by Gentzen's sequential method ⋮ Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras ⋮ Independent axiomatizability of sets of sentences ⋮ Sequent-systems and groupoid models. II ⋮ Rules of inference in fuzzy sentential logic ⋮ Irreflexive modality in the intuitionistic propositional logic and Novikov completeness ⋮ A proof system for contact relation algebras ⋮ Constructive and algebraic methods of the theory of rough sets ⋮ Absolute probability functions for intuitionistic propositional logic ⋮ Intuitionistic logic and implicit definability ⋮ Extended hedge algebras and their application to fuzzy logic ⋮ A compositional semantics for logic programs ⋮ Non-fuzzy versions of fuzzy reasoning in classical logics ⋮ Annotated revision programs ⋮ Axiomatization and completeness of uncountably valued approximation logic ⋮ Formal systems for modal operators on locales ⋮ Semidistributivity in the Heyting arrow lattice for relational biologic processes ⋮ On the expressiveness of choice quantification ⋮ Abstract interpretation as automated deduction ⋮ Algorithms for recognizing restricted interpolation over the modal logic S4 ⋮ Layers over minimal logic ⋮ The dual Heyting arrow lattice for biologic relational processes ⋮ Quantifier-free logic for nondeterministic theories ⋮ An algebraic approach to subframe logics. Intuitionistic case ⋮ Construction of a monadic Heyting algebra in a logos ⋮ Logics from Galois connections ⋮ Explicit algebraic models for constructive and classical theories with non-standard elements ⋮ On variable separation in modal and superintuitionistic logics ⋮ The abstract variable-binding calculus ⋮ A duality between Pawlak's knowledge representation systems and bi-consequence systems ⋮ Logic in Category Theory ⋮ A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic ⋮ Nonmodular lattices derived from distributive ones representing qualitative biologic interactions ⋮ Simulation and Synthesis of Deduction Calculi ⋮ Magari and \(\Delta\)-pseudo-Boolean algebras ⋮ Varieties of complex algebras ⋮ An approach to uncertainty via sets of truth values ⋮ The logic induced by effect algebras ⋮ A Łukasiewicz-style refutation system for the modal logic S4 ⋮ On the interpolation property of some intuitionistic modal logics ⋮ Interconnection of the lattices of extensions of four logics ⋮ Finitely generated relatively universal varieties of Heyting algebras ⋮ Distributive lattices with an operator ⋮ Lattices arising in categorial investigations of Hedetniemi's conjecture ⋮ Tree-like constructions in topology and modal logic ⋮ Infinitary equilibrium logic and strongly equivalent logic programs ⋮ Which semifields are exact? ⋮ QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE ⋮ A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach ⋮ Elementary propositions and independence ⋮ Towards reasoning about Hoare relations ⋮ What is a logic translation? ⋮ On elementary equivalence in fuzzy predicate logics ⋮ On some classes of Heyting algebras with successor that have the amalgamation property ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Rasiowa-Sikorski deduction systems with the rule of cut: a case study ⋮ Contribution of Warsaw logicians to computational logic ⋮ Topological models of propositional logic of problems and propositions ⋮ On congruences in weak implicative semi-lattices ⋮ Projective Beth property in extensions of Grzegorczyk logic ⋮ Strong decidability and strong recognizability ⋮ Lattice subordinations and Priestley duality. ⋮ Interior and closure operators on commutative basic algebras ⋮ On the characterizations of fuzzy implications satisfying \(I(x,I(y,z))=I(I(x,y),I(x,z))\) ⋮ On modal logics arising from scattered locally compact Hausdorff spaces ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ Kripke semantics for the logic of problems and propositions ⋮ Mereocompactness and Duality for Mereotopological Spaces ⋮ A semantic hierarchy for intuitionistic logic ⋮ Existentially closed closure algebras ⋮ Slices and levels of extensions of the minimal logic ⋮ MacNeille transferability and stable classes of Heyting algebras ⋮ Projective algebras and primitive subquasivarieties in varieties with factor congruences ⋮ Heyting algebras with Boolean operators for rough sets and information retrieval applications ⋮ Topological-frame products of modal logics ⋮ A new proof of the McKinsey-Tarski theorem ⋮ Basic intuitionistic conditional logic ⋮ Beyond Rasiowan systems: unital deductive systems ⋮ Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics ⋮ On logical systems with implications and theories of algebras ⋮ Conservative extension in relevant implication ⋮ Pavelka-style fuzzy logic in retrospect and prospect ⋮ Proximity frames and regularization. ⋮ A proof of topological completeness for S4 in \((0,1)\) ⋮ Anti-intuitionism and paraconsistency ⋮ Beyond Rasiowa's algebraic approach to non-classical logics ⋮ Definability and interpolation in non-classical logics ⋮ Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable ⋮ Foundations of fuzzy sets ⋮ Importation lattices ⋮ On nonmonotonic consequence relations ⋮ On Löb algebras ⋮ Algebre di Frechet: una classe di algebre Booleane con operatore ⋮ Properties of superintuitionistic propositional calculi ⋮ Topological representations of Post algebras of order \(\omega ^ +\) and open theories based on \(\omega ^ +\)-valued Post logic ⋮ Boolean properties of observables in axiomatic quantum mechanics ⋮ Brouwer-Zadeh posets and three-valued Łukasiewicz posets ⋮ Duality between modal algebras and neighbourhood frames ⋮ More on intuitionistic fuzzy sets ⋮ Lewis' systems \(S_4\) and \(S_5\) and the identity connective ⋮ A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers ⋮ Classical, relativistic and constructivistic ways of assertion of theorems ⋮ A completeness theorem for theories of kind W ⋮ A weakening of intuitionistic logic ⋮ Mechanical theorem proving in a certain class of formulae of the predicate calculus ⋮ Equivalence relations determining useful properties ⋮ Identity connective and modality ⋮ A strict implication calculus for compact Hausdorff spaces ⋮ On the elimination of iteration quantifiers in a fragment of algorithmic logic ⋮ About the correspondences between dual Heyting arrow lattices of a distributive lattice and its sublattices for relational biologic systems ⋮ A study of intermediate predicate logics ⋮ A formalization of the modal propositional S4 calculus ⋮ Rasiowa-Sikorski deduction systems in computer science applications. ⋮ Restricted interpolation over modal logic S4 ⋮ Fuzzy Implication Classes Satisfying a Boolean-Like Law ⋮ Boolean-valued second-order logic ⋮ Implementing Local Intervals in CASL ⋮ An Application of the Yankov Characteristic Formulas ⋮ Bisimulation and propositional intuitionistic logic ⋮ McKinsey-Tarski algebras: an alternative pointfree approach to topology ⋮ Exploring the Jungle of Intuitionistic Temporal Logics ⋮ On Dichotomy and Analogy: A Question on the Next “Unbloody” Revolution in Logic ⋮ Axiomatizing non-deterministic many-valued generalized consequence relations ⋮ An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics ⋮ Book review of: P. Cintula, C. Noguera, Logic and implication. An introduction to the general algebraic study of non-classical logics ⋮ On finitely-generated Johansson algebras ⋮ THE BAIRE CLOSURE AND ITS LOGIC ⋮ POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION ⋮ Normal companions of intuitionistic modal logics ⋮ Boolean valued models, Boolean valuations, and Löwenheim-Skolem theorems ⋮ Boolean mereology ⋮ Helena Rasiowa (1917-1994) Life and Personality ⋮ Two quantum logics of indeterminacy ⋮ Quantum indeterminacy and the eigenstate-eigenvalue link ⋮ Equivalential Algebras with Conjunction on Dense Elements ⋮ Congruence lattices of pseudocomplemented semilattices ⋮ Conservative translations ⋮ TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS ⋮ V. Yankov’s Contributions to Propositional Logic ⋮ Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond ⋮ « Everywhere » and « here » ⋮ A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras ⋮ Abstract Interpretation as Automated Deduction ⋮ Unnamed Item ⋮ Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus ⋮ Unnamed Item ⋮ A theory of local negation: The model and some applications ⋮ Unnamed Item ⋮ Dynamic logic with program specifications and its relational proof system ⋮ On the investigations of Ivan Prodanov in the theory of abstract spectra ⋮ COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω ⋮ Unnamed Item ⋮ Well‐Defined Fuzzy Sentential Logic ⋮ Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen ⋮ Equivalence in logic-based argumentation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ KRULL DIMENSION IN MODAL LOGIC ⋮ An algebraic approach to intuitionistic connectives ⋮ Calculi of net structures and sets are similar ⋮ HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS ⋮ STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES ⋮ Unnamed Item ⋮ Metalogic, Schopenhauer and Universal Logic ⋮ Nonisomorphic atomless Boolean algebras ⋮ Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras ⋮ Universality of Logic ⋮ Residuated relational systems ⋮ Many-Valued Logics in the Iberian Peninsula ⋮ Helena Rasiowa (1917–1994) ⋮ Struktursätze der Algebra und Kompliziertheit logischer Schemata. III Algebraische Theorien und Verallgemeinerungen ⋮ Knowledge representation as domain ⋮ Unnamed Item ⋮ Unnamed Item ⋮ PARADIGM, FORMAL PROPERTIES AND LIMITS OF FUZZY LOGIC ⋮ TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3 ⋮ THE LOGIC OF AUTOMATA ⋮ Unnamed Item ⋮ Hochster’ theorem, coherent locales, and lattices of radical ideals ⋮ Unnamed Item ⋮ On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic ⋮ LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA ⋮ TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC ⋮ Quantifier-free logic for multialgebraic theories ⋮ The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview ⋮ A logic stronger than intuitionism ⋮ Unnamed Item ⋮ On Distributive Fixed-Point Expressions ⋮ Unnamed Item ⋮ A constructive semantics for non‐deducibility ⋮ THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES ⋮ COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS ⋮ Interior and closure operators on bounded residuated lattice ordered monoids ⋮ A multimodal logic for reasoning about complementarity ⋮ Maksimova, Relevance and the Study of Lattices of Non-classical Logics ⋮ Characteristic Formulas Over Intermediate Logics ⋮ Rasiowa–Sikorski Sets and Forcing ⋮ Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics ⋮ Lattice NExtS4 from the Embedding Theorem Viewpoint ⋮ On Algebraisation of Superintuitionistic Predicate Logics ⋮ Unnamed Item ⋮ SMALL INFINITARY EPISTEMIC LOGICS ⋮ Unnamed Item ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism ⋮ Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility ⋮ An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning ⋮ A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes ⋮ A decompositional deduction system for a logic featuring inconsistency and uncertainty ⋮ Frame constructions, truth invariance and validity preservation in many-valued modal logic ⋮ Relational dual tableaux for interval temporal logics ★ ⋮ An efficient relational deductive system for propositional non-classical logics ⋮ Relational proof systems for spatial reasoning ★ ⋮ Fuzzy modal-like approximation operators based on double residuated lattices ⋮ Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI ★ ⋮ Twist-structures semantics for the logics of the hierarchy IⁿP^k ⋮ Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic ⋮ Unnamed Item ⋮ QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES ⋮ Semi-Heyting Algebras and Identities of Associative Type ⋮ Kohärente Systeme von BOOLEschen Algebren ⋮ Two proofs of the algebraic completeness theorem for multilattice logic ⋮ From Logic to Computer Science – A Personal Experience ⋮ TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4 ⋮ MODAL LOGICS OF METRIC SPACES ⋮ Context Algebras, Context Frames, and Their Discrete Duality ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Canonical Extensions, Esakia Spaces, and Universal Models ⋮ On the Blok-Esakia Theorem ⋮ A Shell for Generic Interactive Proof Search ⋮ A proof of the independence of the continuum hypothesis ⋮ Strong Completeness of S4 for the Real Line ⋮ An algebraic approach to information retrieval systems ⋮ MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS