The following pages link to A. Yu. Muravitskij (Q793005):
Displayed 42 items.
- Extensions of the provability logic (Q793006) (← links)
- Comparison of the topological and relational semantics of superintuitionistic logics (Q795828) (← links)
- A result on the completeness of superintuitionistic logics (Q1059064) (← links)
- Superintuitionistic logics approximated by algebras with the descending chain condition (Q1065787) (← links)
- On superintuitionistic logics as fragments of proof logic extensions (Q1091383) (← links)
- Finite approximability of the \(I^\delta\) calculus and the existence of an extension having no model (Q1163537) (← links)
- Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics (Q1170234) (← links)
- (Q2045005) (redirect page) (← links)
- On nonmonotonic consequence relations (Q2045006) (← links)
- Beyond Rasiowan systems: unital deductive systems (Q2254559) (← links)
- The embedding theorem: its further developments and consequences. I (Q2372685) (← links)
- Interconnection of the lattices of extensions of four logics (Q2399606) (← links)
- Magari and \(\Delta\)-pseudo-Boolean algebras (Q2640631) (← links)
- Domains as Models for Semantic Information (Q2805456) (← links)
- (Q3318750) (← links)
- (Q3329444) (← links)
- (Q3358710) (← links)
- (Q3495352) (← links)
- Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach (Q3623837) (← links)
- (Q3731572) (← links)
- (Q3757894) (← links)
- AN ALGEBRAIC PROOF OF THE SEPARATION PROPERTY FOR AN INTUITIONISTIC PROVABILITY CALCULUS (Q3768874) (← links)
- (Q3783274) (← links)
- (Q3946151) (← links)
- A knowledge representation based on the Belnap's four-valued logic (Q4291027) (← links)
- Knowledge representation as domain (Q4354628) (← links)
- (Q4383498) (← links)
- A framework for knowledge-based systems (Q4896269) (← links)
- Consequence Relations (Q5044285) (← links)
- Lattice NExtS4 from the Embedding Theorem Viewpoint (Q5214738) (← links)
- Logic KM: A Biography (Q5255795) (← links)
- The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond (Q5886460) (← links)
- On consequence and rejection as operators (Q6146290) (← links)
- Rejection: a historico-epistemological view (Q6146291) (← links)
- Lindenbaum method (propositional language) (Q6277857) (← links)
- On Some Syntactic Properties of the Modalized Heyting Calculus (Q6280905) (← links)
- On the Equipollence of the Calculi Int and KM (Q6282674) (← links)
- On one embedding of Heyting algebras (Q6286389) (← links)
- Lindenbaum Method (Q6312561) (← links)
- On Matrix Consequence (Extended Abstract) (Q6344018) (← links)
- Consequence Relations An Introduction to the Tarski-Lindenbaum Method (Q6370813) (← links)
- Two Modes of Nonmonotonic Consequence (Q6421789) (← links)