The following pages link to Ewa Orłowska (Q213236):
Displaying 50 items.
- (Q406446) (redirect page) (← links)
- Discrete dualities for some algebras with relations (Q406447) (← links)
- Boolean algebras arising from information systems (Q598303) (← links)
- Dual tableau for monoidal triangular norm logic MTL (Q622083) (← links)
- Discrete dualities for double Stone algebras (Q647401) (← links)
- Logical analysis of demonic nondeterministic programs (Q671651) (← links)
- Dual tableaux. Foundations, methodology, case studies (Q710340) (← links)
- Representation of nondeterministic information (Q792780) (← links)
- Representation theorems for some fuzzy logics based on residuated non-distributive lattices (Q835128) (← links)
- Algebras for Galois-style connections and their discrete duality (Q969585) (← links)
- Tableaux and dual tableaux: transformation of proofs (Q995673) (← links)
- DAL -- a logic for data analysis (Q1058847) (← links)
- Logic of nondeterministic information (Q1063586) (← links)
- Semantic analysis of inductive reasoning (Q1081317) (← links)
- (Q1104764) (redirect page) (← links)
- Representation of vague information (Q1104765) (← links)
- Proof system for weakest prespecification (Q1104780) (← links)
- Logical aspects of learning concepts (Q1110347) (← links)
- Verisimilitude based on concept analysis (Q1174255) (← links)
- Treshold logic (Q1211978) (← links)
- On the Jaskowski's method of suppositions (Q1225045) (← links)
- Threshold logic. II (Q1233013) (← links)
- The Gentzen style axiomatization of \(\omega^+\)-valued logic (Q1239310) (← links)
- Every finitely reducible logic has the finite model property with respect to the class of \(\lozenge\)-formulae (Q1288962) (← links)
- Helena Rasiowa (Q1344869) (← links)
- A proof system for contact relation algebras (Q1576385) (← links)
- Jerzy Łoś (1920-1998) (Q1591335) (← links)
- Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras (Q1697346) (← links)
- Corrigendum to: ``DAL -- a logic for data analysis'' (Q1822496) (← links)
- Correspondence results for relational proof systems with application to the Lambek calculus (Q1850953) (← links)
- Towards reasoning about Hoare relations (Q1924753) (← links)
- Kripke semantics for knowledge representation logics (Q2277447) (← links)
- A discrete representation of lattice frames (Q2291229) (← links)
- Mechanical theorem proving in a certain class of formulae of the predicate calculus (Q2559270) (← links)
- Studying incompleteness of information: A class of information logics (Q2702284) (← links)
- Algebras of approximating regions (Q2729673) (← links)
- A proof system for fork algebras and its applications to reasoning in logics based on intuitionism (Q2735802) (← links)
- Relational attribute systems (Q2744839) (← links)
- Discrete duality for rough relation algebras (Q2865078) (← links)
- Cecylia Rauszer (1942--1994) (Q2894723) (← links)
- Dual tableau-based decision procedures for relational logics with restricted composition operator (Q2901210) (← links)
- (Q2998396) (← links)
- An Algebraic Approach to Preference Relations (Q3007574) (← links)
- (Q3035258) (← links)
- (Q3038607) (← links)
- (Q3039311) (← links)
- (Q3039319) (← links)
- (Q3039320) (← links)
- Structures with Multirelations, their Discrete Dualities and Applications (Q3065012) (← links)
- (Q3126173) (← links)
