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 (only showing first 100 items - show all)

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

This page was built for publication: