Abstract:In this article we generalize the traditional concept of bivalence to that of finite linear orders,and thus generalize in a more general semantic framework the sort of truth preservation which characterizes material implication in traditional bivalent logics. Based on the generalized conception of"truth preservation",that is,an implication holds when the value of the antecedent is not stronger than the value of the consequent,we can establish semantic conditions for the sort of implication that figures in finite linear orders: implications are assigned full truth if they meet the above condition,otherwise they are assigned the same value as the consequent.This gives rise to a special many-valued semantics that is based on finite linear orders and includes concepts like s-validity and validity,which turn out to be decidable.To formally capture this semantics for finite linear orders,we coin a logical system FO,which is an extension of the usual positive propositional logic by two new axioms,characterizing the principle of comparability and the semantic condition for implication,respectively.We then proceed to prove the soundness,completeness and decidability of FO.Finally,based on the observation that the ordinary Peirce's Law is 2-valid but not 3-valid,we obtain the generalized notion of m-order Peirce's Law,which is provably m-valid but not m+l-valid,and thus can be used to distinguish between finite linear orders of different cardinalities.This leads to systems FO_m that extend FO by adding to it the m-order Peirce's Law as an axiom.We prove that FO_m is sound and complete with respect to m-validity,and hence show that this system characterizes linear orders of m elements.

Piecewise convex embeddability on linear orders

Convex Embeddability and Knot Theory

Log-concavity and log-convexity via distributive lattices

LINEAR ORDERS REALIZED BY C.E. EQUIVALENCE RELATIONS

Cantor-Schröder-Bernstein theorem for a class of countable linear orders

Linear Orders with Distinguished Function Symbol

Order preserving and order reversing operators on the class of $L^0$-convex functions in complete random normed modules

Linear versus lattice embeddings between Banach lattices

Affinely representable lattices, stable matchings, and choice functions

Low scattered linear orders

Convex orders for linear combinations of random variables

Lattices Associated with Partial Injective Linear Maps of Finite Vector Spaces

Logarithmic submajorisation and order-preserving linear isometries

Order isomorphisms of sup-stable function spaces: continuous, Lipschitz, c-convex, and beyond

Lateral Order on Complex Vector Lattices and Narrow Operators

Universal countable Borel quasi-orders

Partial Orders of Bijectively Related or Homeomorphic Topologies

Semantics for Finite Linear Orders and Generalized Peirce's Laws

The embedding structure for linearly ordered topological spaces

Log-concavity in Combinatorics

Geometrical and analytical characteristic properties of piecewise affine mappings