There are relations that take statements as components, such as "know" and "believe", as well as attributes of statements, such as "necessary" and "possible". In NAL, most of these relations are not built in (as in epistemic logic or modal logic), but acquired.
There is no need to further separate 2nd-order, 3rd-order, etc., nor to limit the maximal order allowed in structure.
There is a partial isomorphism between first-order NAL and higher-order NAL.
Overall, NAL has four basic copulas that are directly recognized by the inference rules. They all represent a certain exchangeability ("can be used as") relation between terms, and the syllogistic rules correspond to the transitivity of the copulas involved.
The higher-order copulas are not defined by truth tables, as in propositional calculus. Here the two statements involved not only need to have truth-value relation, but also semantic relation in their contents, which is provided by the syllogistic nature of term logic.
Semantic relation among the components is also required in conjunction and disjunction.
Consequently, NAL is like a relevance logic, though it provides relevance with the intrinsic nature of term logic, rather than by revising propositional calculus.
Using Deduction Theorem, the truth-value of a statement can be taken as the truth-value of a corresponding implication statement, conditioned on the available evidence. Using this meta-level equivalence, some new inference rules can be introduced into NAL, as variants of the existing rules.
There are three types of negation in IL-NAL: meta-level (CWA), term-level (difference), and statement-level (negation).
Positive and negative statements are not symmetric in NARS, either in the logic part or the control part. Negative observation comes from failed expectation. In NARS, negation is introduced by dominating negative evidence of a substatement. For a syllogistic rule, two negative premises cannot derive a conclusion.
PL treats inference as purely truth-functional, while IL as syllogistic, depending on the transitivity of the copulas. Truth-conditions in PL are definitional and primary, but derived and secondary in IL. In IL, statements with no semantic relations won't be used as components in a compound, nor as premises in an inference step.
In IL and NAL, statements with the same truth-value are not necessarily equivalent.
In all three systems, the Deduction Theorem holds. In NAL it takes the truth-value into account.
IL is a limit case of NAL, when AIKR can be omitted. The unconditional truths (theorems) in IL are embedded in the (structural) inference rules of NAL, though not in the beliefs of the system.
There is no axiom (nor theorem) in NAL. The analytic truths are only acknowledged and accepted at the meta-level.
A PL theorem becomes an IL theorem after the connective to copula replacement, if in the former there is semantic relations among the premises and conclusions.
How to turn an IL theorem or rule into a NAL inference rule needs to be analyzed one by one, since different truth-value functions may be needed. By default, a true statement in IL is treated as a judgment with full positive evidence in NAL.
Variable terms can be used to separate extensional and intensional evidence, as well as to indicate the existence of positive evidence.
Variable related inference include
Similarly, abstract notions can be introduced or created, without grounding into empirical experience. Instead, formal models or axiomatic theories are built around these notions, with binary deductive rules. Inference within the theory is theorem proving.
When such a formal model is applied to a practical problem, model-theoretic semantics is applied to provide an interpretation to map the abstract notions into concrete concepts, so as to get derived conclusions efficiently.
The notions in an formal model are "symbols" whose meaning depends on the interpretation. This is not the case for the ordinary terms in the system.
NAL can use acquired relations like define and represent to learn (or create) a language, and to relate it to its empirical concepts, respectively.
NARS can emulate an arbitrary logic, by representing its truth-values and propositions as terms, and its inference rules as implication statements.
Key differences between IL-6 and classical term logic:
Many previous discussions on rationality take classical logics and probability theory as normative models with universal authority. The same happens to the psychological study of human reasoning.
Peirce initially introduced the deduction-induction-abduction trio in term logic at the inference rule level, though later use the terms informally at the inference process level, aimed at the cognitive functions. Now they are usually formalized in predicate logic, so the rules become under-specified.
After all, the differences from NAL and other logics come from AIKR.