Validities, antivalidities and contingencies: A multi-standard approach
Eduardo Alejandro Barrio, Federico Pailos
Topics & Concepts
Classical logicPredicate logicPhilosophy of logicMany-valued logicTransfinite numberPhilosophical logicParaconsistent logicHigher-order logicIntermediate logicHierarchyNon-classical logicMathematicsComputer scienceMathematical logicEpistemologyTheoretical computer scienceArtificial intelligenceDescription logicAlgorithmDiscrete mathematicsLogical consequencePhilosophyProgramming languageMarket economyEconomicsLogic, Reasoning, and KnowledgeAdvanced Algebra and LogicSemantic Web and Ontologies