General logic-systems and finite consequence operators

DOI10.1007/S11787-006-0010-7MaRDI QIDQ874755zbMATH OpenOpenAlexFDO

Authors Robert A. Herrmann

Publication date 10 April 2007

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-006-0010-7

zbMATH Keywords

consequence operatorlogic-systemrules of inference

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Logic of natural languages (03B65)

Review text

A nonempty language \(L\) is non-organized if all other properties that can be defined for \(L\) are ignored when a consequence operator property is determined. The author discusses the significance of using the general logic-system concept and finite consequence operators defined on non-organized languages. It is analyzed how properties of finite consequence operators are independent from language organization and how, in some particular cases, they depend only upon one simple language characteristic. It is shown that there are infinitely many finite consequence operators defined on any non-organized infinite language that cannot be generated from any finite logic-system.

Recommendations

• Ultralogics and probability models
• Immediate consequences operator on generalized quantifiers
• Hyperfinite and standard unifications for physical theories
• A general semantics for logics of affirmation and negation
• scientific article; zbMATH DE number 4041922

Cited in

(5)

• Hyperfinite and standard unifications for physical theories
• Kleene's Logic, Generalized
• scientific article; zbMATH DE number 732053 (Why is no real title available?)
• scientific article; zbMATH DE number 2015402 (Why is no real title available?)
• Immediate consequences operator on generalized quantifiers

This page was built for publication: General logic-systems and finite consequence operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q874755)