adrian_pigors's tags

ac   adjunction   algebraic_logic   arithmetic   arithmetization   axiality   bao   _bib   bicategory   bisimulation   canonical_extension   cardinal   cartesian_closed_category   categorical_logic   category_theory   chu_space   chu_transform   closure_operator   closure_space   closure_system   coalgebra   combinatorics   complement   complete_lattice   completely_distributive   completion   computer_science   congruence   consistency   constructive   contextual_logic   continuity   continuous_lattice   _copy   cut   cut-continuous   cut_elimination   data_mining   dedekind   description_logics   diagonalization   dipl   _dipl   display_logic   distance   distributivity   duality   enriched_category   equational_theory   equivalence   fca   finitism   foundation   frame   frame_   gaggle   galois_connection   game_theory   g-ideal   goedel   g-relation   heyting_algebra   hilbert   ideal   implication   incompleteness   infinity   infomorphism   information_flow   institution   interpretability   intuitionistic_logic   karoubian_envelope   kripke   lattice   linear_logic   locale   logic   macneille   modal_logic   modal_operator   model_theory   monad   morphism   mv-algebra   negation   nonclassical_logic   nucleus   ontology   order_theory   ordinal   orthomodular_lattice   p-algebra   paraconsistent_logic   paradox   pointfree   polarity   poset   pra   preconcept   prequantale   prime   prime_ideal   _priv   profinite_completion   proof_theory   provability   pseudocomplement   quantale   quantaloid   quantum_logic   recursion_theory   reflection   relation   representation   residuation   scattered   self-reference   semantics   semantic_web   semigroup   set_theory   sheaf   stone   substructural_logics   tensor_product   term_rewriting   topology   topos   turing   variety   _vme