<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Engineered language - Page 3 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=engineered_language&amp;p=2">1.Previous</a><br />
<a accesskey="3" href="page.php?w=engineered_language&amp;p=4">3.Next</a>
</p>
<p>unambiguous statements.  They are typically based on <a href="page.php?w=predicate_logic">predicate logic</a> but can also be based on any system of formal <a href="page.php?w=logic">logic</a>.  The two best-known logical languages are the predicate languages <a href="page.php?w=Loglan">Loglan</a> and its successor <a href="page.php?w=Lojban">Lojban</a>. They both aim to eliminate <a href="page.php?w=syntactical_ambiguity">syntactical ambiguity</a> and reduce <a href="page.php?w=semantic_ambiguity">semantic ambiguity</a> to a minimum.  In particular,</p><p>
<a accesskey="1" href="page.php?w=engineered_language&amp;p=2">1.Previous</a><br />
<a accesskey="3" href="page.php?w=engineered_language&amp;p=4">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
